Kurt Gödel (1906–1978) was an Austrian-born logician, mathematician, and philosopher whose work transformed the foundations of mathematics and logic. His incompleteness theorems reshaped 20th-century thought about truth, proof, and the limits of formal systems, establishing him as one of the greatest logicians since Aristotle.

Key facts

• Born: April 28, 1906, Brünn, Austria-Hungary (now Brno, Czech Republic)
• Died: January 14, 1978, Princeton, New Jersey, U.S.
• Major result: Incompleteness theorems (1931)
• Affiliation: Institute for Advanced Study, Princeton
• Awards: Einstein Award (1951); U.S. National Medal of Science (1974)

Early life and education

Gödel grew up in a German-speaking family in Brno, earning the childhood nickname Der Herr Warum (“Mr. Why”) for his relentless curiosity. After studying at the University of Vienna, he joined the intellectual circle around Vienna Circle philosopher Hans Hahn, completing his doctorate in 1929 with the completeness theorem for first-order logic.

The incompleteness theorems

In 1931, Gödel published “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme,” proving that any consistent axiomatic system rich enough to express arithmetic contains true statements that cannot be proved within the system. This shattered David Hilbert’s program for complete formalization of mathematics and influenced fields from philosophy to computer science, inspiring figures such as Alan Turing and John von Neumann. 

Career in the United States

Fleeing Nazi-controlled Europe in 1940, Gödel and his wife, Adele Porkert, settled in Princeton, where he worked alongside Albert Einstein at the Institute for Advanced Study. The two often walked together, discussing science and philosophy. Gödel later demonstrated that the axiom of choice and continuum hypothesis are consistent with the Zermelo–Fraenkel axioms, and even explored rotating-universe solutions to general relativity permitting theoretical time travel. 

Philosophy and later years

Gödel defended a form of mathematical Platonism, holding that mathematical truths describe objective, non-empirical realities accessible through a kind of rational intuition. His philosophical essays, such as “What Is Cantor’s Continuum Problem?” (1964), extended his search for certainty into metaphysics. A lifelong hypochondriac, he became increasingly paranoid about being poisoned; after his wife’s hospitalization, he refused to eat and died of self-starvation in 1978.

Legacy

Gödel’s theorems redefined the boundaries of logic, influencing mathematics, philosophy, computer theory, and cognitive science. TIME magazine named him among the 20th century’s most influential thinkers, and his collected papers remain a cornerstone of modern mathematical logic.