Paul Bernays
Paul Bernays | |
|---|---|
| Born | 17 October 1888 |
| Died | 18 September 1977 (aged 88) |
| Nationality | Swiss |
| Alma mater | University of Berlin |
| Known for | Mathematical logic Axiomatic set theory Philosophy of mathematics Axiom of adjunction Axiom of dependent choice Grundlagen der Mathematik Second-order arithmetic Bernays class theory Bernays–Schönfinkel class Bernays–Tarski axiom system Hilbert–Bernays provability conditions Hilbert–Bernays paradox Von Neumann–Bernays–Gödel set theory |
| Scientific career | |
| Fields | Mathematics |
| Thesis | Über die Darstellung von positiven, ganzen Zahlen durch die primitiven, binären quadratischen Formen einer nicht-quadratischen Diskriminante (1912) |
| Doctoral advisor | Edmund Landau |
| Doctoral students | Corrado Böhm Julius Richard Büchi Haskell Curry Erwin Engeler Gerhard Gentzen Saunders Mac Lane |
| Other notable students | Hao Wang |
Paul Isaac Bernays (/bɜːrˈneɪz/ bur-NAYZ; Swiss Standard German: [bɛrˈnaɪs]; 17 October 1888 – 18 September 1977) was a Swiss mathematician who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.