Paul Bernays
modernMathematical Logic / Philosophy of Mathematics1888 – 1977
Paul Bernays was a Swiss mathematician and logician who made foundational contributions to mathematical logic, proof theory, and the philosophy of mathematics. A close collaborator of David Hilbert, he was instrumental in developing Hilbert's program and formalized an influential axiomatization of set theory now known as von Neumann–Bernays–Gödel set theory.
Notable Achievements
1
Co-developed Hilbert's program for the foundations of mathematics
2
Created the von Neumann–Bernays–Gödel (NBG) axiomatization of set theory
3
Co-authored the two-volume Grundlagen der Mathematik with Hilbert
4
Made significant contributions to proof theory and axiomatic method
5
Articulated philosophical positions on the nature of mathematical knowledge and logical autonomy