World Library  
Flag as Inappropriate
Email this Article

Paul Bernays

Paul Bernays
Autumn 1949 in Oberwolfach
Born (1888-10-17)17 October 1888
London, United Kingdom
Died 18 September 1977(1977-09-18) (aged 88)
Zurich, Switzerland
Nationality Swiss
Fields Mathematics
Alma mater University of Berlin
  • Ü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
Known for Mathematical logic
Axiomatic set theory
Philosophy of mathematics
Influences Issai Schur, Edmund Landau

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.


  • Biography 1
  • Mathematical work 2
  • Publications 3
  • References 4
  • External links 5


Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895-1907. At the Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson.

In 1912, the George Pólya.

Starting in 1917, David Hilbert employed Bernays to assist him with his investigations of the foundations of arithmetic. Bernays also lectured on other areas of mathematics at the University of Göttingen. In 1918, that university awarded him a second Habilitation, for a thesis on the axiomatics of the propositional calculus of Principia Mathematica.[1]

In 1922, Göttingen appointed Bernays extraordinary professor without tenure. His most successful student there was Gerhard Gentzen. In 1933, he was dismissed from this post because of his Jewish ancestry. After working privately for Hilbert for six months, Bernays and his family moved to Switzerland, whose nationality he had inherited from his father, and where the ETH employed him on occasion. He also visited the University of Pennsylvania and was a visiting scholar at the Institute for Advanced Study in 1935-36 and again in 1959-60.[2]

Mathematical work

Bernays's collaboration with Hilbert culminated in the two volume work Grundlagen der Mathematik by Hilbert and Bernays (1934, 1939), discussed in Sieg and Ravaglia (2005). In seven papers, published between 1937 and 1954 in the Journal of Symbolic Logic, republished in (Müller 1976), Bernays set out an axiomatic set theory whose starting point was a related theory John von Neumann had set out in the 1920s. Von Neumann's theory took the notion of function as primitive; Bernays recast Von Neumann's theory so that sets and proper classes were primitive. Bernays's theory, with some modifications by Kurt Gödel, is now known as the Von Neumann–Bernays–Gödel set theory. A proof from the Grundlagen der Mathematik that a sufficiently strong consistent theory cannot contain its own reference functor is now known as the Hilbert–Bernays paradox.


  • [3] 
  • Bernays, Paul (1958), Axiomatic set theory, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland,  
  • Bernays, Paul (1976), Abhandlungen zur Philosophie der Mathematik (in German), Darmstadt: Wissenschaftliche Buchgesellschaft,  


  1. ^  
  2. ^ Institute for Advanced Study: A Community of Scholars
  3. ^ MacLane, Saunders (1935). , Volume I. By D. Hilbert and P. Bernays"Grundlagen der Mathematik"Review: (PDF). Bull. Amer. Math. Soc. 41 (3): 162–165.  
  • Kneebone, Geoffrey, 1963. Mathematical Logic and the Foundation of Mathematics. Van Nostrand. Dover reprint, 2001. A gentle introduction to some of the ideas in the Grundlagen der Mathematic.
  • Müller, Gert H., ed. (1976), Sets and classes. On the work by Paul Bernays, Studies in Logic and the Foundations of Mathematics 84, Amsterdam: North-Holland,  
  • Lauener, Henri (1978), "Paul Bernays (1888--1977)", Zeitschrift für Allgemeine Wissenschaftstheorie 9 (1): 13–20,  
  • Sieg, Wilfried; Ravaglia, Mark (2005), "Chapter 77. David Hilbert and Paul Bernays, Grundlagen der Mathematik", in Grattan-Guinness, Ivor, Landmark writings in western mathematics 1640--1940, Elsevier B. V., Amsterdam, pp. 981–99,  
  • Bernays and Set Theory, Akihiro Kanamori, The Bulletin of Symbolic Logic, Vol. 15, No. 1 (Mar., 2009), pp. 43–69.

External links

This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Hawaii eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.