LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] Per ottenere tale risultato Turing ideò un modello puramente matematico dei procedimenti di computo sotto forma di una teoremi in vari campi, dall'algebra booleana ternaria alla teoriadei nodi) nonché di varie estensioni del PROLOG.
La logica ...
Leggi Tutto
Mumford, David Bryant
Luca Dell'Aglio
Matematico inglese naturalizzato statunitense, nato a Three Bridges (Sussex) l'11 giugno 1937. La sua carriera scientifica si è svolta in gran parte presso la Harvard [...] per la teoriadei moduli. A partire da una lettura geometrica della teoria degli invarianti settore si è occupato della costruzione e della stima di modelli probabilistici dei fenomeni di percezione visuale.
Opere principali: Geometric invariant ...
Leggi Tutto
Kodaira, Kunihiko
Luca Dell'Aglio
Matematico giapponese, nato a Tokyo il 16 marzo 1915 e morto a Kofu (prefettura di Yamanashi) il 26 luglio 1997. Dopo essersi laureato in matematica (1938) e in fisica [...] W.V.D. Hodge. Successivamente, l'applicazione della teoriadei fasci nel campo della geometria algebrica lo condusse a una numerici - un fondamentale teorema di classificazione dei loro modelli minimali.
Opere principali: Harmonic integrals (in ...
Leggi Tutto
MOSTOWSKI, Andrzej
Logico matematico polacco, nato a Leopoli il 1° novembre 1913. Dal 1947 professore di matematica all'università di Varsavia; dal 1956 membro dell'Accademia polacca delle scienze. Nel [...] , fornendo così la prima prova d'indipendenza nell'ambito della teoria degl'insiemi. Si è interessato dei fondamenti dell'aritmetica e dell'analisi, delle teoriedeimodelli, di logiche polivalenti, di intuizionismo. Nel 1946 ha scoperto analogie ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] quando si doveva visualizzare il complesso modello 'tolemaico' delle sfere ‒ sia per le longitudini planetarie sia per le latitudini ‒ come quello trovato nel-le Ipotesi sui pianeti di Tolomeo e nella Teoriadei pianeti di al-Farġānī. Un altro ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] e razionale; la seconda rinvia agli Elementi di Euclide quali modello e metodo della ricerca: si può accedere al razionale a un semplice riassunto di Nicomaco, come aveva fatto per la teoriadei numeri, con gli Elementi di Euclide. In questo modo si ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] oggi il caso N=4 resta una congettura.
Concluso il Programma deimodelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori aveva nuova crosta si forma dal basso.
La teoriadei superpennacchi. Basata sul rinvenimento di parecchi campioni ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] scopo di modellare il comportamento degli elettroni d nei complessi metallici, viene elaborata da L.E. Orgel la teoria del campo legante. La nuova teoria permette di decifrare le complicate caratteristiche stereochimiche dei complessi dei metalli di ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] una summa aritmetica in tredici libri, probabilmente secondo il modello degli Elementi di Euclide. L'intenzione di Diofanto è arriva a elaborare con il suo celebre teorema la prima teoriadei numeri amicabili, a partire da un'affermazione, per così ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] in base all'Almagesto, e dalle Ipotesi planetarie dello stesso Tolomeo, che presentano la teoriadei moti planetari costituente il modello tolemaico in senso stretto.
La scienza dei 'giudizi' degli astri sui processi del mondo sublunare e le sorti ...
Leggi Tutto
modello
modèllo s. m. [lat. *modĕllus, dim. di modŭlus: v. modulo]. – 1. a. In genere, qualsiasi oggetto reale che l’artista si propone di ritrarre, o che un artigiano, un operaio abbia dinanzi a sé per costruirne un altro uguale o simile,...
teoria
teorìa s. f. [dal gr. ϑεωρία, der. di ϑεωρός (v. teoro), e quindi, in origine, «delegazione di teori»; nel sign. 1, attraverso il lat. tardo theorĭa]. – 1. Formulazione logicamente coerente (in termini di concetti ed enti più o meno...