Bernays
modernMathematical Logic / Formalism1888 – 1977
Paul Bernays (1888-1977) was a Swiss mathematician and logician who made foundational contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He collaborated closely with David Hilbert on the formalist program and co-authored the monumental 'Grundlagen der Mathematik,' and he later developed the von Neumann-Bernays-Gödel (NBG) axiomatization of set theory.
Notable Achievements
1
Co-authored 'Grundlagen der Mathematik' with David Hilbert, the foundational text of proof theory
2
Developed the von Neumann-Bernays-Gödel (NBG) axiomatization of set theory
3
Advanced Hilbert's formalist program in the philosophy of mathematics
4
Contributed to the philosophy of mathematics through essays on platonism and structuralism
5
Helped formalize the epsilon-calculus and early proof-theoretic methods