This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0002556580 Reproduction Date:
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.
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]}
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.
Zürich, Geneva, France, Switzerland, Germany
Set theory, Logic, Model theory, Mathematics, Foundations of mathematics
Mathematics, Mathematical logic, Germany, University of Königsberg, Hilbert space
Epistemology, Metaphysics, Ludwig Wittgenstein, Philosophy of science, David Hume
Isle of Man, India, Canada, European Union, British Overseas Territories
Germany, Prague, Mathematics, University of Göttingen, Ludwig Wittgenstein
Indiana, Number theory, Purdue University, Theoretical computer science, ETH Zürich
Axiom of choice, Set theory, Non-well-founded set theory, Bertrand Russell, Zermelo–Fraenkel set theory
Logic, Bertrand Russell, Alan Turing, Ludwig Wittgenstein, Aristotle
State College, Pennsylvania, Logic, David Hilbert, Combinatory logic, Bertrand Russell