Paul Bernays (17 October1888 – 18 September1977) was a Swiss mathematician who played a crucial role in the development of mathematical logic in the 20th century. He was an assistant and close collaborator of David Hilbert. His name is linked to Von Neumann–Bernays–Gödel set theory. October 17 is the 290th (in leap years the 291st) day of the year according to the Gregorian calendar. ... 1888 (MDCCCLXXXVIII) is a leap year starting on Sunday (click on link for calendar) of the Gregorian calendar or a leap year starting on Tuesday of the Julian calendar. ... September 18 is the 261st day of the year (262nd in leap years). ... For the album by Ash, see 1977 (album). ... Mathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. ... David Hilbert (January 23, 1862, Wehlau, East Prussia – February 14, 1943, Göttingen, Germany) was a German mathematician, recognized as one of the most influential mathematicians of the 19th and early 20th centuries. ... In foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiom system for set theory designed to yield the same results as Zermelo-Fraenkel set theory, together with the axiom of choice (ZFC), but with only a finite number of axioms, that is without axiom schemas. ...
Bernays was appointed to the University of Zurich as an assistant to Zermelo and worked there until 1917.
Bernays wrote a second habilitation in which he established the completeness of propositional logic; this was in fact is a study of Russell and Whitehead's Principia Mathematica, and uses ideas from Schröder.
Bernays, influenced by Hilbert's thinking, believed that the whole structure of mathematics could be unified as a single coherent entity.
BERNAYS, Paul, "Die Erneuerung der rationalen Aufgabe", The tenth intern cong of philos, vol 1, fasc 1, 1948, pp 42-50.
BERNAYS, Paul, "Über das Induktionsschema in der rekursiven Zahlentheorie", Kontrolliertes Denken, 1951, pp 1-17.
BERNAYS, Paul, "Über die Verwendung der Polygoninhalte an Stelle eines Spiegelungsaxioms in der Axiomatik der Planimetrie", Elemente der Mathematik, Band 8, n° 5, 1953, pp 102-107.
Feeds |
Contact