Bazsites.com Bernays, Paul
Directory Topics
On the Web
- Bernays, Paul - Biography of Paul Bernays (1888-1977) from the MacTutor History of Mathematics Archive.
- The Bernays Project - Research project to edit and translate Bernays's philosophical writings into English.
Wikipedia Articles
- Paul Bernays - Paul Bernays (17 October 1888 – 18 September 1977) 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.
- Bernays–Schönfinkel class - The Bernays–Schönfinkel class of formulas, named after Paul Bernays and Moses Schönfinkel, is a decidable fragment of first-order logic formulas.
- Erwin Engeler - Erwin Engeler (born 13 February 1930) is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich.