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 [...] corso un intenso lavoro di ricerca in tale direzione.
La sintesi logica dei programmi. − La programmazione logica e il PROLOG hanno reso popolare l'equazione: computare=dimostrare. Un ulteriore sviluppo di questa idea è di usare le dimostrazioni per ...
Leggi Tutto
KANTOROVIC, Leonid Vital'evič
Aldo Marruccelli-Pierluigi Sabbatini
Matematico ed economista sovietico, nato a Pietroburgo il 19 gennaio 1912. S'iscrisse a 14 anni alla facoltà di matematica dell'università [...] lo sviluppo di queste nuove teorie nell'ambiente culturale e politico sovietico. In realtà solo dopo il 20° Congresso è stata a scoprire i fondamenti della programmazione lineare e nuove tecniche nella ricerca operativa.
Tra le sue opere: Priblizennye ...
Leggi Tutto
WALLIS, John
Giovanni Vacca
Matematico inglese, nato ad Ashford (Kent) il 23 novembre 1616, morto a Oxford il 28 ottobre 1703. Studiò nell'Emmanuel College a Cambridge e prese gli ordini religiosi nel [...] del suo tempo, e contribuì a quell'attivo movimento di ricerca che, partendo da Galileo, Keplero e B. Cavatieri, condusse inglesi. La sua Algebra, Londra 1673 e 1685, è una viva esposizione storica dello sviluppo di questa scienza.
Egli ebbe il ...
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 [...] algebrica globale della teoria delle funzioni theta e lo sviluppo di una teoria sistematica dei toroidal embeddings. interessi di ricerca sono mutati in direzione della pattern theory; in questo settore si è occupato della costruzione e della stima ...
Leggi Tutto
NEUMANN, John von
Matematico, nato a Budapest il 28 dicembre 1903, morto a Washington l'8 febbraio 1957. Studiò a Budapest e a Zurigo. Professore all'università di Princeton dal 1931 e all'Institute [...] erano destinati a divenire classici, e che lo portarono poi ad approfondire le proprietà degli operatori negli spazî di Hilbert. Sono di questo periodo anche le prime ricerche del N. sulle proprietà di minimax, il cui sviluppo dette luogo a una delle ...
Leggi Tutto
Volterra, Vito
Luca Dell’Aglio
Il matematico che si interessava di prede e predatori
Il matematico e fisico italiano Vito Volterra è una delle principali figure della scienza italiana tra l’Ottocento [...] 1860, il matematico e fisico italiano Vito Volterra è stato uno tra i maggiori protagonisti dello sviluppo della moderna analisi matematica e ha contribuito alla nascita di nuovi campi di ricerca come l’analisi funzionale. Si è occupato anche di vari ...
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 [...] cristiana aveva ereditato il calendario lunare del Vecchio Testamento, sviluppato nel Talmūd e in altri scritti (per questo calendario, si veda anche per calcolare la Pasqua, ossia per la ricerca di una domenica giusta. I primi cristiani adattarono ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] volume VI dei Maṭālib al-῾āliyya (Le ricerche superiori), poi ripresa da al-Īǧī (m. 1355) nei Mawāqif (Le soste) e prima di lui da Mīṯam ibn ῾Alī , la fisica del Kalām ha riattivato esviluppato in direzioni nuove alcune questioni sui fondamenti ...
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 [...] urbani dell'Islam si elaborò in lingua araba una ricerca scientifica e matematica fra le più avanzate della storia. Può mai X secolo. Durante questo secolo, infatti, lo sviluppo della matematica e la nascita al suo interno di nuove discipline, ...
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 [...] Leroy Hood guida il folto gruppo di ricercatorie tecnici del Caltech e dell'Applied Biosystems che mette a punto , consiste nell'inattivare un gene durante lo sviluppo embrionale di un organismo e nel seguire il destino fisiologico dell'animale; con ...
Leggi Tutto
e-fuel s. m. Combustibile sintetico a emissioni zero, liquido o gassoso, generato attraverso processi energivori alimentati con fonti rinnovabili. ◆ Puro, a basse emissioni, più efficiente di benzina e gas naturale. Sono queste le qualità che...
sviluppo
s. m. [der. di sviluppare (deverbale a suffisso zero)]. – 1. a. L’azione di sviluppare, il fatto di svilupparsi e di essere sviluppato; il procedimento e il modo con cui si attua; aumento, accrescimento o incremento: lo s. di un centro...