Paul Bernays

Paul Bernays
Born	(1888-10-17)17 October 1888 London, United Kingdom
Died	18 September 1977(1977-09-18) (aged 88) Zürich, Switzerland
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 (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.