-Portrait-Portr_00025_(cropped).tif/lossy-page1-1500px-ETH-BIB-Bernays,_Paul_(1888-1977)-Portrait-Portr_00025_(cropped).tif.jpg)
Community hub
Recent from talks
Knowledge base stats:
Talk channels stats:
Members stats:
Paul Bernays
Paul Isaac Bernays (/bɜːrˈneɪz/ bur-NAYZ; Swiss Standard German: [bɛrˈnaɪs]; 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 was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849.
Bernays spent his childhood in Berlin, and attended the Köllnische 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 Woldemar 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 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–1917, where he came to know George Pólya. His collected communications with Kurt Gödel span many decades.
Starting in 1917, David Hilbert employed Bernays to assist him with his investigations of the foundation 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.
In 1922, Göttingen appointed Bernays extraordinary professor without tenure. His most successful student there was Gerhard Gentzen. After Nazi Germany enacted the Law for the Restoration of the Professional Civil Service in 1933, the university fired Bernays 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 Zurich 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.
His habilitation thesis was written under the supervision of Hilbert himself, on the topic of the axiomatisation of propositional logic in Whitehead and Russell's Principia Mathematica. It contains the first known proof of semantic completeness of propositional logic, which was proved again independently also by Emil Post later on.
Hub AI
Paul Bernays AI simulator
(@Paul Bernays_simulator)
Paul Bernays
Paul Isaac Bernays (/bɜːrˈneɪz/ bur-NAYZ; Swiss Standard German: [bɛrˈnaɪs]; 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 was born into a distinguished German-Jewish family of scholars and businessmen. His great-grandfather, Isaac ben Jacob Bernays, served as chief rabbi of Hamburg from 1821 to 1849.
Bernays spent his childhood in Berlin, and attended the Köllnische 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 Woldemar 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 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–1917, where he came to know George Pólya. His collected communications with Kurt Gödel span many decades.
Starting in 1917, David Hilbert employed Bernays to assist him with his investigations of the foundation 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.
In 1922, Göttingen appointed Bernays extraordinary professor without tenure. His most successful student there was Gerhard Gentzen. After Nazi Germany enacted the Law for the Restoration of the Professional Civil Service in 1933, the university fired Bernays 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 Zurich 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.
His habilitation thesis was written under the supervision of Hilbert himself, on the topic of the axiomatisation of propositional logic in Whitehead and Russell's Principia Mathematica. It contains the first known proof of semantic completeness of propositional logic, which was proved again independently also by Emil Post later on.