Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] di T. è legato anche ad altri importanti risultati di logica matematica, come una dimostrazione dell'indecidibilità del calcolo predicativo puro e alla dimostrazione dell'insolubilità del problema della parola per i semigruppi. A T. si deve anche l ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
FANO, Gino
Enciclopedia Italiana - II Appendice (1948)
Matematico, nato a Mantova il 5 gennaio 1871. Laureatosi a Torino nel 1892, dove ebbe a maestri C. Segre e G. Castelnuovo, seguì nel 1893-94 a Gottinga i corsi di F. Klein. Titolare di algebra complementare [...] ricerche più profonde, è quello riguardante le condizioni di razionalità delle varietà algebriche a più dimensioni. Nel 1908 egli dimostrò che per le varietà algebriche a tre dimensioni, a differenza delle superficie, l'annullarsi di tutti i generi ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] alle algebre di Lie risolubili e al radicale di un'algebra, segue poi lo studio delle algebre di Lie semisemplici e la dimostrazione del teorema di Levi-Malcev. Il capitolo si conclude con lo studio del teorema di Ado.
Il secondo capitolo riguarda le ...
Leggi Tutto
Archimede
Enciclopedia dei ragazzi (2005)
Archimede
Pier Daniele Napolitani
Un genio distratto
Archimede, vissuto nel 3° secolo a.C., fu uno dei più grandi matematici e scienziati del mondo antico e divenne famoso per come difese dai Romani [...] massa della corona. Immerse l'oro nell'acqua e notò che il volume di liquido fuoriuscito non era lo stesso che in precedenza. Dimostrò così che la corona non era fatta con oro puro (l'argento e l'oro hanno diverso peso specifico) e smascherò l'infido ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
EQUAZIONI DIFFERENZIALI
Enciclopedia Italiana - V Appendice (1992)
(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714)
Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] per le equazioni del secondo ordine è possibile definire una classe di soluzioni di viscosità e P. L. Lions ha dimostrato alcuni risultati di unicità in questa classe, limitandosi però al tipo di equazioni della teoria del controllo. R. Jensen (1988 ...
Leggi Tutto
L'Universo matematico
Frontiere della Vita (1998)
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] con le riduzioni dovute alla scoperta di Gödel. Abbiamo imparato che ci sono sempre proposizioni che non possono essere né dimostrate né confutate, ma che ne è di tutte quelle proposizioni la cui veridicità può essere decisa con i metodi tradizionali ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] otteniamo nel linguaggio elementare L con le costanti ×, −1, 1 traducendo i noti assiomi per i gruppi, ciò che Mal'cev dimostra è che tutti i principî locali che stabiliscono che una proprietà P, se vale per tutti i gruppi finitamente generati, vale ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
NUMERI
XXI Secolo (2010)
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] 2/5)2+(2/5)3+… è uguale a 5/3.
Soltanto nel 1844 la questione fu chiarita: Joseph Liouville (1809-1882) dimostrò l’esistenza di numeri trascendenti, ossia non algebrici, che trascendono l’algebra. Dando inizio a un filone di ricerca ancora oggi molto ...
Leggi Tutto
CHISINI, Oscar
Dizionario Biografico degli Italiani (1981)
CHISINI, Oscar
Silvia Caprino
Nacque a Bergamo il 14 marzo 1899 da Carlo e da Luigia Calcinoni, terzo figlio di una nobile famiglia veneta originaria di Pieve di Soligo. Compì tutti gli studi universitari [...] teoremi sulle trecce algebriche. Nella prima (Ilteorema di esistenza delle trecce algebriche, Nota I, s. 8, XVII [1954], pp. 143-49), viene dimostrato dal C. il teorema che, data che sia una Qr n dotata di δ nodi e K cuspidi acquisiti, si può passare ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ALBANESE, Giacomo
Enciclopedia Italiana - II Appendice (1948)
Matematico, nato a Geraci l'11 luglio 1890, morto a San Paolo del Brasile l'8 giugno 1947. Allievo della Scuola normale superiore di Pisa, si laureò in matematiche nel 1913; assistente a Padova di F. Severi, [...] una superficie, sulle corrispondenze tra superficie algebriche. A lui è altresì dovuta una elegante e semplicissima dimostrazione del teorema sullo scioglimento delle singolarità delle curve algebriche.
Bibl.: G. Dantoni, in Bollettino dell'Unione ...
Leggi Tutto