We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Bernays, Gödel and Hilbert's consistency program

Formal Metadata

Title
Bernays, Gödel and Hilbert's consistency program
Title of Series
Number of Parts
4
Author
License
CC Attribution - NonCommercial - NoDerivatives 2.5 Switzerland:
You are free to use, copy, distribute and transmit the work or content in unchanged form for any legal and non-commercial purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
Paul Bernays was brought from Zurich to Göttingen in 1917 by David Hilbert - the leading mathematician of the time - to assist him in developing his consistency program for the foundations of mathematics. The major exposition of that work appeared in the 1930s in the two volume opus by Hilbert and Bernays, Grundlagen der Mathematik, whose preparation was due entirely to Bernays. In the meantime, Kurt Gödel, a precocious doctorate in Vienna, had discovered his remarkable incompleteness theorems which threatened to undermine Hilbert’s program. Though Hilbert refused to accept that, Bernays undertook to absorb the significance of those theorems through correspondence with Gödel. This led to a lifelong deep personal and intellectual relationship between the two of them whose high points will be traced in the lecture.