Mathematician:Paul Isaac Bernays

Mathematician

Swiss mathematician who worked mainly in mathematical logic and axiomatic set theory.

Nationality

Swiss

History

• Born: 17 October 1888, London, UK
• Died: 18 September 1977, Zurich, Switzerland

Theorems and Definitions

• Principle of Dependent Choices (a form of the Axiom of Choice)
• Von Neumann-Bernays-Gödel Set Theory (with John von Neumann and Kurt Friedrich Gödel)

Definitions of concepts named for Paul Isaac Bernays can be found here.

Axioms named for Paul Isaac Bernays can be found here.

Publications

• 1934-39: Grundlagen der Mathematik (with David Hilbert)

• 1937: A system of axiomatic set theory, Part I (J. Symb. Logic Vol. 2: pp. 65 – 77)  www.jstor.org/stable/2268862

• 1941: A system of axiomatic set theory, Part II (J. Symb. Logic Vol. 6: pp. 1 – 17)  www.jstor.org/stable/2267281

• 1942: A system of axiomatic set theory, Part III (J. Symb. Logic Vol. 7: pp. 65 – 89)  www.jstor.org/stable/2266303

• 1942: A system of axiomatic set theory, Part IV (J. Symb. Logic Vol. 7: pp. 133 – 145)  www.jstor.org/stable/2268110

• 1943: A system of axiomatic set theory, Part V (J. Symb. Logic Vol. 8: pp. 89 – 106)  www.jstor.org/stable/2271051

• 1948: A system of axiomatic set theory, Part VI (J. Symb. Logic Vol. 13: pp. 65 – 79)  www.jstor.org/stable/2267328

• 1954: A system of axiomatic set theory, Part VII (J. Symb. Logic Vol. 19: pp. 81 – 96)  www.jstor.org/stable/2268864

• 1956: Revised Hilbert's Grundlagen der Geometrie

• 1958: Axiomatic Set Theory (historical introduction by A. A. Fraenkel)
  • 1968: Axiomatic Set Theory, 2nd ed.

Sources

• John J. O'Connor and Edmund F. Robertson: "Paul Isaac Bernays": MacTutor History of Mathematics archive