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) |
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) |
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 .