Kurt Gödel
Life
A logician who established mathematical limits of formal systems. At age 24, Gödel informally announced his first incompleteness result in a Königsberg discussion on 7 September 1930; the paper stating both theorems appeared in January 1931. Under their stated assumptions, effectively axiomatized systems strong enough for arithmetic contain sentences they cannot decide and generally cannot prove their own consistency.
Decisive moments
Königsberg — announcing the first result at 24
KönigsbergIn a conference discussion on 7 September 1930, he informally announced the first incompleteness result. Von Neumann, in the audience, quickly grasped its importance.
Publication of the incompleteness paper
Über formal unentscheidbare Sätze … I appeared in volume 38 of Monatshefte für Mathematik und Physik, pages 173–198, stating both incompleteness theorems.
Fleeing to America via the Trans-Siberian
PrincetonFleeing the Nazis through Japan and across the Pacific to the Institute for Advanced Study at Princeton, where he became Einstein's closest friend.
The U.S. citizenship test story
Preparing for the test, he discovered a logical loophole in the U.S. Constitution allowing dictatorship. Einstein barely stopped him from explaining it to the examiner.
If this person hadn't existed
This is a thought experiment about influence, not a verified historical fact.
The incompleteness theorems exposed limits to the aims of Hilbert's program and helped frame later work on what can be decided mechanically. Gödel's formal methods are an important foundational link to Church and Turing's work on computability.
Key achievements1
Incompleteness Theorems
AD 1931Showed that a consistent, effectively axiomatized system strong enough for arithmetic has sentences it cannot prove and, under the theorem's conditions, cannot prove its own consistency.
Places of activity
Princeton
Institute for Advanced Study in Princeton
Influence network
Beyond MathVoyage
Loading…