Paul Bernays

Paul Bernays Immagine in Infobox. Paul Bernays (a sinistra) Biografia
Nascita 17 ottobre 1888
Londra
Morte 18 settembre 1977(at 88)
Zurigo
Sepoltura Cremazione
Nome nella lingua madre Paul Isaac Bernays
Nazionalità svizzero
Formazione Köllnisches Gymnasium ( d ) (1895-1907)
Università Humboldt di Berlino (1907-1910)
Università di Göttingen (1910-1912)
Attività Matematico , filosofo
Parentela Isaac Bernays ( d ) (bis-bis-nonno)
Jacob Bernays (prozio)
Altre informazioni
Lavorato per Università di Zurigo (1912-1917) , Università di Göttingen (1922-1933) , Istituto Federale Svizzero di Tecnologia di Zurigo (1934-1959)
le zone Logica matematica , teoria degli insiemi
Membro di The Royal Academies for Science and the Arts of Belgium
International Society for the History of Philosophy of Science ( en )
Norwegian Academy of Sciences and Letters
Burschenschaft Germania Tübingen ( d )
Maestri Ferdinand Georg Frobenius , Friedrich Schottky ( en )
Supervisore Edmund Landau
Influenzato da Issai Schur
Archivi conservati da Archivi dell'Istituto federale di tecnologia di Zurigo ( en ) (CH-001807-7: Hs 973)
Archivi dell'Istituto federale di tecnologia di Zurigo ( en ) (CH-001807-7: Hs 974)
Archivi dell'Istituto federale svizzero of Technology Istituto Federale di Tecnologia di Zurigo ( en ) (CH-001807-7: Hs 975)
Archivi dell'Istituto Federale di Tecnologia di Zurigo ( en ) (CH-001807-7: Hs 976)
Archivi dell'Istituto Federale di Tecnologia di Zurigo ( en ) (CH-001807-7: Hs 976a)
Opere primarie
Paradosso di Hilbert-Bernays ( d ) , teoria degli insiemi di von Neumann - Bernays - Gödel , classe di Bernays-Schönfinkel , condizioni di provabilità di Hilbert - Bernays ( d )

Paul Bernays nato il17 ottobre 1888a Londra e morì18 settembre 1977a Zurigo , è un matematico svizzero che ha giocato un ruolo fondamentale nello sviluppo della logica matematica nel XX °  secolo. È stato a lungo assistente e collaboratore di David Hilbert . Il suo nome è legato alla teoria degli insiemi di von Neumann-Bernays-Gödel (nota come NBG).

Nel 1926 mostrò il teorema di completezza del calcolo delle proposizioni .

È il relatore della tesi (con Ferdinand Gonseth ) di Julius Richard Büchi .

Dal 1945 al 1958 è stato professore all'Istituto Federale Svizzero di Tecnologia di Zurigo .

Lavori

Vedi anche

link esterno