ProofWiki:Mathematicians/Paul Isaac Bernays

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)

Books and Papers

• 1934-39: Grundlagen der Mathematik (with David Hilbert)
• 1956: Revised Hilbert's Grundlagen der Geometrie
• 1958: Axiomatic Set Theory (historical introduction by A. A. Fraenkel)

Also see

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