Kurt Gödel

• 1. Introduction

  ›

  Kurt Friedrich Gödel, born on the 28th of April 1906 in Brünn, Austria-Hungary, died in Princeton Hospital on the 14th of January 1978, weighing so little that his death certificate listed the cause as "malnutrition and inanition caused by personality disturbance". He had refused to eat. His wife Adele was in hospital, and without her to prepare his food, he simply stopped. This was the end of a man ranked alongside Aristotle and Gottlob Frege as one of the most significant logicians in human history.

  His incompleteness theorems, published in 1931, shattered a half-century of effort by mathematicians including David Hilbert, Bertrand Russell, and Alfred North Whitehead to build a complete, consistent foundation for all of mathematics. Gödel proved that any sufficiently powerful formal system will always contain true statements that cannot be proved within it. No system can even prove its own consistency. These are not gaps to be filled later. They are permanent, structural features of mathematical truth.

  How did a man raised in a wealthy textile family in what is now the Czech Republic become the person who proved mathematics has irreducible limits? What drove him, and what unraveled him? The answers involve a murdered mentor, a friendship with Albert Einstein so close it moved Einstein to tears, and a citizenship hearing that nearly went catastrophically wrong.

• 2. The Boy Called Mister Why

  ›

  Kurt's family nickname was "Herr Warum" - Mister Why - earned through relentless questioning from an early age. His grandfather Joseph Gödel was a celebrated singer and member of the Men's Choral Union of Brünn; the family was embedded in the city's cultural life. His father Rudolf managed and part-owned a major textile firm, providing a comfortable, educated household.

  At around six or seven years old, Kurt suffered rheumatic fever. He recovered fully, but convinced himself for the rest of his life that his heart had been permanently damaged. This unfounded medical anxiety was an early signal of the obsessive thinking that would shadow him for decades. From age four, he experienced frequent episodes of poor health that never fully stopped.

  He enrolled in a Lutheran school in 1912 and later attended the Gymnasium from 1916 to 1924, excelling with honors in every subject: mathematics, languages, and religion. His interest shifted from languages toward mathematics after 1920, when his older brother Rudolf left for Vienna to study medicine at the university there. During his teenage years, Gödel taught himself Gabelsberger shorthand, studied critiques of Isaac Newton, and read extensively in Immanuel Kant. By the time he arrived at the University of Vienna at age 18, he had already mastered university-level mathematics.

• 3. The Incompleteness Proof

  ›

  David Hilbert's 1928 lecture in Bologna on completeness and consistency in mathematical systems appears to have set Gödel's direction. That year, Hilbert and Wilhelm Ackermann published their textbook on first-order logic, posing a pointed question: are the axioms of a formal system sufficient to derive every statement true in all models of that system? Gödel chose this as his doctoral topic.

  In 1929, aged 23, he completed his dissertation under Hans Hahn's supervision and established his completeness theorem for first-order logic. He was awarded his doctorate in 1930, and his thesis was published by the Vienna Academy of Science. He had answered Hilbert's question: yes, for first-order logic. But at the Second Conference on the Epistemology of the Exact Sciences in Königsberg in September 1930, he hinted at something else. At the close of his talk presenting the completeness theorem, he mentioned that the result does not generalize to higher-order logic. That quiet remark was the shadow of what came next.

  His 1931 paper, published under a German title that translates as "On Formally Undecidable Propositions of Principia Mathematica and Related Systems", ended five decades of foundational ambition. Gödel constructed a formula that claims its own unprovability within a given system. If the formula were provable, it would be false. So any consistent system powerful enough to handle basic arithmetic will contain at least one true statement that cannot be proved inside it. No such system can prove its own consistency either.

  To make this rigorous, Gödel invented what is now called Gödel numbering: a method for encoding statements, proofs, and the concept of provability itself as ordinary natural numbers. The arithmetic then talked about itself. This was the trick that turned self-reference from a philosophical puzzle into a mathematical theorem. Stephen Kleene, who had just finished his PhD at Princeton, took lecture notes when Gödel presented related work at the Institute for Advanced Study in 1934; those notes were later published.

• 4. Set Theory and the Axiom of Choice

  ›

  Alongside the incompleteness work, Gödel resolved a separate and long-standing controversy in the foundations of mathematics. The axiom of choice and the continuum hypothesis had both been contested: were they true? Were they provable from the standard axioms? Gödel answered half of the question.

  In a 1938 classic of modern mathematics, published after a productive autumn at the Institute for Advanced Study, Gödel introduced the constructible universe. This is a model of set theory in which the only sets that exist are those that can be built up step by step from simpler sets. He showed that both the axiom of choice and the generalized continuum hypothesis are true in this model. Since the model satisfies the Zermelo-Fraenkel axioms, neither hypothesis can be disproved from those axioms.

  The practical consequence for working mathematicians was immediate. Proofs that had relied on the axiom of choice, such as the Hahn-Banach theorem, were now on firm ground. Mathematicians could use the axiom freely without fear of contradiction. Paul Cohen later completed the picture by constructing a different model in which both the axiom of choice and the continuum hypothesis are false. Taken together, the two results establish that neither is provable or disprovable from the Zermelo-Fraenkel axioms: they are independent. Gödel's summer of 1942 at the Blue Hill Inn in Blue Hill, Maine, may have produced a further result along these lines. His close friend Hao Wang confirmed that Gödel's notebooks from that stay contain his most extensive treatment of the independence of the axiom of choice from a weakened form of set theory, though those notes were never published.

• 5. Flight, Friendship, and the Walk Home

  ›

  In June 1936, Moritz Schlick, the philosopher whose seminar had first drawn Gödel toward mathematical logic, was shot dead by a former student named Johann Nelböck. Gödel's brother Rudolf, who was a medical doctor, described what followed as "a severe nervous crisis". Gödel developed paranoid symptoms, including a fear of being poisoned, and spent several months in a sanitarium for nervous diseases.

  The political situation compounded everything. After the Anschluss of the 12th of March 1938, Austria became part of Nazi Germany. Germany abolished Gödel's academic title, and the University of Vienna rejected his application for a replacement position, partly because of his associations with Jewish members of the Vienna Circle. The German army classified him as fit for military service. He had to leave.

  Gödel and his wife Adele left Vienna before the end of 1939. To avoid crossing the Atlantic in wartime, they took the Trans-Siberian Railway across Russia, sailed from Japan to San Francisco, arriving on the 4th of March 1940, and then traveled by train to Princeton. During this journey, Gödel was reportedly carrying a secret letter from Viennese physicist Hans Thirring to warn President Franklin D. Roosevelt that Hitler might be building an atomic bomb. Gödel never delivered it; he was not persuaded Hitler could succeed. Leo Szilard had already conveyed the same message to Einstein, and Einstein had already contacted Roosevelt.

  At Princeton, Gödel accepted a position at the Institute for Advanced Study, where Albert Einstein was also living. The two became close friends, known for long walks to and from the Institute together. Economist Oskar Morgenstern later recorded that near the end of Einstein's life, Einstein confided that his own work no longer meant much to him, and that he came to the Institute mainly "to have the privilege of walking home with Gödel".

• 6. The Citizenship Hearing

  ›

  On the 5th of December 1947, Einstein and Morgenstern accompanied Gödel to his U.S. citizenship examination and served as witnesses. Before the hearing, Gödel had told them he had found an inconsistency in the U.S. Constitution that could theoretically allow the country to become a dictatorship. This has since been called Gödel's Loophole. Einstein and Morgenstern were anxious about what Gödel might say to the judge.

  The judge turned out to be Phillip Forman, who knew Einstein personally and had administered the oath at Einstein's own citizenship hearing years earlier. The exam proceeded normally until Forman happened to ask Gödel whether he thought a dictatorship like the Nazi regime could happen in the United States. Gödel began to explain his constitutional discovery. Forman, understanding what was unfolding, cut him off, steered the hearing toward routine questions, and brought it to a smooth conclusion.

  Gödel was granted citizenship and became a permanent member of the Institute for Advanced Study in 1946. He was promoted to full professor in 1953 and to emeritus professor in 1976. During his Princeton years he developed an interest in physics alongside philosophy, and in 1949 he produced solutions to Einstein's field equations in general relativity that admitted closed timelike curves, meaning time travel to the past. He reportedly presented this work to Einstein as a gift for Einstein's 70th birthday, and it caused Einstein to have doubts about his own theory.

• 7. The Final Years

  ›

  Adele Gödel, whom Kurt had met in 1929 living across the street from him and married in a civil ceremony in September 1938, was the practical center of his daily life. A trained ballet dancer who had worked as a masseuse and danced at a Vienna nightclub called the Nachtfalter, she was six years his senior. His parents had opposed the relationship. By his later years, she prepared all his food because his fear of poisoning had returned.

  When Adele was hospitalized beginning in late 1977, Gödel stopped eating. He died on the 14th of January 1978 in Princeton Hospital, and was buried in Princeton Cemetery. Adele died in 1981, and at her death she donated Gödel's papers to the Institute for Advanced Study.

  Gödel had also spent years in private philosophical inquiry that surprised people who knew only his mathematical work. In the early 1970s he circulated among friends an elaboration of Leibniz's version of Anselm of Canterbury's ontological argument for God's existence, now called Gödel's ontological proof. He described his own philosophy as "rationalistic, idealistic, optimistic, and theological". In an unmailed questionnaire, he wrote that his belief was "theistic, not pantheistic, following Leibniz rather than Spinoza". He also read widely on telepathy, reincarnation, and ghosts. The Kurt Gödel Society, founded in 1987, and the annual Gödel Lecture held by the Association for Symbolic Logic since 1990, carry the name of a man whose philosophical notebooks are still being edited at the Berlin-Brandenburg Academy of Sciences and Humanities.