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
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
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

Bernays spent his childhood in Berlin, and attended the Köllner Gymnasium, 1895-1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and 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 University of Berlin awarded him a Ph.D. in mathematics, for a thesis, supervised by Landau, on the analytic number theory of binary quadratic forms. That same year, the University of Zurich awarded him the Habilitation for a thesis on complex analysis and Picard's theorem. The examiner was Ernst Zermelo. Bernays was Privatdozent at the University of Zurich, 1912–17, where he came to know 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.

Publications

Hilbert, David; Bernays, Paul (1934), Grundlagen der Mathematik. I, Die Grundlehren der mathematischen Wissenschaften 40, Berlin, New York: Springer-Verlag, ISBN 978-3-540-04134-4, JFM 60.0017.02, MR 0237246 ^[3]
Hilbert, David; Bernays, Paul (1939), Grundlagen der Mathematik. II, Die Grundlehren der mathematischen Wissenschaften 50, Berlin, New York: Springer-Verlag, ISBN 978-3-540-05110-7, JFM 65.0021.02, MR 0272596
Bernays, Paul (1958), Axiomatic set theory, Studies in Logic and the Foundations of Mathematics, Amsterdam: North-Holland, ISBN 978-0-486-66637-2, MR 0106178
Bernays, Paul (1976), Abhandlungen zur Philosophie der Mathematik (in German), Darmstadt: Wissenschaftliche Buchgesellschaft, ISBN 978-3-534-06706-0, MR 0444417

Notes

↑ Zach, Richard (1999). "Completeness before Post: Bernays, Hilbert, and the development of propositional logic". Bulletin of Symbolic Logic 5: 331–366. doi:10.2307/421184. Retrieved 26 November 2014.
↑ Institute for Advanced Study: A Community of Scholars
↑ MacLane, Saunders (1935). "Review: Grundlagen der Mathematik, Volume I. By D. Hilbert and P. Bernays" (PDF). Bull. Amer. Math. Soc. 41 (3): 162–165. doi:10.1090/s0002-9904-1935-06048-3.

References

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, ISBN 978-0-444-10907-1, MR 0414355
Lauener, Henri (1978), "Paul Bernays (1888--1977)", Zeitschrift für Allgemeine Wissenschaftstheorie 9 (1): 13–20, doi:10.1007/BF01801939, ISSN 0044-2216, MR 546580
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, doi:10.1016/B978-044450871-3/50158-3, ISBN 978-0-444-50871-3, MR 2169816
Bernays and Set Theory, Akihiro Kanamori, The Bulletin of Symbolic Logic, Vol. 15, No. 1 (Mar., 2009), pp. 43–69.

External links

Wikiquote has quotations related to: Paul Bernays

Set theory

Axioms	Choice countable dependent Extensionality Infinity Pairing Power set Regularity Union Martin's axiom Axiom schema replacement specification

Operations	Cartesian product Complement De Morgan's laws Disjoint union Intersection Power set Set difference Symmetric difference Union

Concepts Methods	Cardinality Cardinal number (large) Class Constructible universe Continuum hypothesis Diagonal argument Element ordered pair tuple Family Forcing One-to-one correspondence Ordinal number Transfinite induction Venn diagram

Set types	Countable Empty Finite (hereditarily) Fuzzy Infinite Recursive Subset · Superset Transitive Uncountable Universal

Theories	Alternative Axiomatic Naive Cantor's theorem Zermelo General Principia Mathematica New Foundations Zermelo–Fraenkel von Neumann–Bernays–Gödel Morse–Kelley Kripke–Platek Tarski–Grothendieck

Paradoxes Problems	Russell's paradox Suslin's problem

Set theorists	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Lotfi A. Zadeh Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Willard Quine

Authority control	WorldCat VIAF: 39455306 LCCN: n50007396 ISNI: 0000 0001 0889 8319 GND: 11865845X SELIBR: 327617 SUDOC: 032621485 BNF: cb12361656q (data) HDS: 31301 MGP: 7863 NLA: 35017923 NDL: 00463185 NKC: ola2002152829

This article is issued from Wikipedia - version of the Friday, February 19, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.