PADOA, Alessandro
Clara Silvia Roero
PADOA, Alessandro. – Nacque a Venezia il 14 ottobre 1868 da Pellegrino, commerciante, e da Pasqua Levi.
Dopo aver compiuto gli studi superiori nella sezione fisico-matematica [...] e ripresa su L’Enseignement mathématique (V [1903], pp. 85-91) in un articolo polemico nei confronti di DavidHilbert, che era intervenuto sullo stesso tema nella conferenza plenaria al medesimo simposio.
La produzione scientifica di Padoa include ...
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 [...] avevano cercato di codificare in un calcolo logico analogo a quello di DavidHilbert e Wilhelm Ackemann per la logica classica i principi logici e le regole valide dal punto di vista brouweriano. L’idea base era l’interpretazione dei connettivi e dei ...
Leggi Tutto
Neumann, John Von
Luca Dell’Aglio
Un matematico appassionato di giochi
John von Neumann è stato una delle principali figure nel pensiero matematico del Novecento. Le sue ricerche hanno avuto un’importanza [...] . Dopo gli studi, condotti sia in Ungheria sia in Germania, prese parte alla scuola matematica fondata a Gottinga da DavidHilbert e ne divenne uno dei principali esponenti. Si trasferì in seguito negli Stati Uniti, dove insegnò a partire dal 1930 ...
Leggi Tutto
anello
Luca Tomassini
La nozione di anello esprime in forma astratta le analogie presenti, per es., tra la manipolazione dei numeri interi relativi e quella dei polinomi. Il suo studio è stato decisivo [...] e trova la sua origine nei lavori della scuola tedesca del XIX sec., principalmente di Ernst Kummer, Leopold Kronecker, Richard Dedekind e DavidHilbert. Un anello è un insieme A munito di due leggi di composizione interne (x,y)→x+y e (x,y)→xy ...
Leggi Tutto
anello di polinomi
Luca Tomassini
Sia F un campo, ovvero un corpo commutativo. Si definisce anello di polinomi F[x] in una indeterminata x l’insieme dei simboli a0+a1x+...+anxn, dove n è un intero non [...] in nessun altro ideale proprio. Viceversa, ogni ideale massimale è generato da un polinomio irriducibile: l’estensione di quest’ultima proposizione al caso F[x1,...,xν] è la famosa Nullstellensatz di DavidHilbert.
→ Invarianti, teoria degli ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] la sintassi si contrappone alla semantica e nasce negli anni Venti del secolo scorso coi tentativi di Emil L. Post e DavidHilbert – ripresi in altra prospettiva da Rudolf Carnap nel 1934 con la sua Logische Syntax der Sprache – di fondare un’analisi ...
Leggi Tutto
Geometria differenziale
Shoshichi Kobayashi
Simon M. Salamon
La geometria differenziale, un ramo della matematica in cui il calcolo differenziale e integrale è applicato allo studio degli oggetti geometrici, [...] , Differential geometry, Lie groups, and symmetric spaces, New York-London, Academic Press, 1978.
Hilbert, Cohn-Vossen 1932: Hilbert, David - Cohn-Vossen, Stefan, Anschauliche Geometrie, Berlin, Springer, 1932 (trad. it.: Geometria intuitiva, Torino ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] la fisiologia, insieme con il neurofisiologo statunitense David H. Hubel e il neurobiologo svedese Torsten Gelfond e T. Schneider, indipendentemente, avevano risolto il settimo problema di Hilbert: provare che, se α, β sono algebrici, α è diverso da ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] e di L. Zippin viene risolta una parte del V problema di Hilbert: ogni gruppo topologico localmente euclideo è un gruppo di Lie.
Sulle varietà liscia e forma rugosa.
Lo spettro del citocromo c. David Keilin, a Cambridge, ed Edward C. Slater, presso ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] per buona parte del secolo scorso, furono ideati dal solo Hilbert, quest'anno è stato un gruppo di matematici di rilievo hanno un'origine comune. Tale scoperta si deve ai microbiologi David Moreira, della Università di Alicante, in Spagna, Hervé Le ...
Leggi Tutto