Kurt Gödel Proved Mathematics Could Never Prove Itself, at 25

Kurt Gödel was 25 in 1931 when he published the paper that ended David Hilbert's project to put all of mathematics on a fully formalized, fully decidable axiomatic foundation. The result, in two parts, has come to be known as the incompleteness theorems. The first says that any consistent formal system rich enough to encode basic arithmetic must contain true statements that the system itself cannot prove. The second goes further: such a system cannot, in particular, prove its own consistency. The combined effect was to demonstrate that no fixed list of axioms could capture all of mathematical truth.

The argument's central trick is a self-referential construction. Gödel encoded statements about a formal system as numbers — "Gödel numbers" — within that system, then constructed a sentence equivalent to "this sentence has no proof." If the sentence had a proof, the system would be inconsistent; if the sentence was false, the system was inconsistent. The escape route was the first incompleteness theorem: the sentence is true but unprovable.

Gödel announced the first theorem on August 26, 1930, at a coffee-table conversation with Rudolf Carnap, Herbert Feigl, and Friedrich Waismann in Vienna. He presented it more formally a week later at the Königsberg conference on the foundations of mathematics — at the same conference where David Hilbert delivered the famous closing lecture in which he insisted, "Wir müssen wissen. Wir werden wissen." ("We must know. We shall know.") Hilbert did not attend the session at which Gödel spoke; the two men, despite living in adjacent worlds, never met face to face. The Hungarian-born John von Neumann, hearing Gödel's first theorem, independently derived the second within weeks and wrote to congratulate him; Gödel had already obtained it.