La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] del teorema fondamentale dell'algebra. Le idee di Brouwer di dottorato di Heyting scrissero, da un punto di vista intuizionista, tesi su argomenti quali la topologia, la teoria della misura, la teoria degli spazi diHilbert, l'integrale di ...
Leggi Tutto
LEVI, Beppo
Salvatore Coen
Nacque a Torino il 14 maggio 1875 da Giulio Giacomo e Sara Diamantina (Mentina) Pugliese. Presso l'Università di Torino compì i suoi studi fino al conseguimento della laurea [...] validità del teoremadi desingolarizzazione, mentre di completamento negli spazi metrici. Sulla basedi questo, varie ricerche furono compiute da giovani analisti italiani negli anni Trenta del Novecento per ridimostrare risultati di teoria della ...
Leggi Tutto
ASCOLI, Guido
Nicola Virgopia
Nato a Livorno il 12 dic. 1887, studiò a Pisa e ivi si laureò a soli 20 anni (1907) svolgendo con L. Bianchi una tesi di laurea sulle singolarità delle funzioni analitiche. [...] base alle loro proprietà ortogonali; Complementi di Geometria per gli Istituti tecnici, Livorno 1913; Sopra una costruzione non archimedea delle omografie piane, in Giornale di Matem., LIII (1915), pp. 203-208: riprendendo talune ricerche diHilbert ...
Leggi Tutto
GUCCIA, Giovan Battista
Aldo Brigaglia
Nacque da Giuseppe Maria e da Chiara Cipponeri il 21 ott. 1855, a Palermo. La famiglia paterna apparteneva a un ramo cadetto dei marchesi di Ganzaria, il cui titolo [...] e Sulla riduzione dei sistemi lineari di curve ellittiche e sopra un teorema generale delle curve algebriche di genere p, ibid., pp. 169 cui accedevano D. Hilbert, F. Klein, E. Picard e molti altri, divenne un vero gotha della comunità matematica, la ...
Leggi Tutto
LEVI, Eugenio Elia
Luca Dell'Aglio
Nacque a Torino il 18 ott. 1883, da Giulio Giacomo e da Diamantina Pugliese, e fu fratello del matematico Beppo. Allievo della Scuola normale superiore di Pisa, si [...] di "funzione compensatrice" e nello studio della questione dei teoremidi esistenza e unicità si utilizza un metodo analogo a quello introdotto in quegli anni da D. Hilbert "forma di Levi" -, alla basedi un vasto filone di ricerca della matematica, ...
Leggi Tutto
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] e ← tutti i teoremidella logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teoremadi Glivenko per cui ogni teorema classico negativo ←A è teorema intuizionista. I calcoli di Gentzen sono ...
Leggi Tutto