At 25, he published the Incompleteness Theorems — proving that any mathematical system powerful enough to describe basic arithmetic will always contain true statements that it cannot prove. It was the most devastating result in the history of logic. At Princeton, where he spent his last 25 years, his closest friend was Albert Einstein. He was afraid someone was trying to poison him. When his wife Adele was hospitalized and could no longer taste his food first, he stopped eating. He weighed 65 pounds when he died.
25
Years old when he destroyed the foundations of mathematics
1931
Year of the Incompleteness Theorems — changed logic forever
65 lbs
His weight at death — he had stopped eating from paranoia
Chapter 1 · Vienna, 1930 · The Problem with Hilbert's Program
You are 24 and working on your doctoral dissertation at the University of Vienna. David Hilbert — the greatest mathematician of the age — has proposed a program: prove that mathematics is complete (every true statement is provable), consistent (no statement is both true and false), and decidable (there is an algorithm to determine whether any statement is true). This is the dream of mathematical foundations: a closed, certain system. You have been working on this problem and have found something Hilbert did not expect. You can prove that the dream is impossible.
Decision 1 · The Proof
You have a proof that Hilbert's program cannot succeed — that mathematics is inherently incomplete. Hilbert is 68, still alive, still influential, and has spent decades on this program. Do you publish?
What actually happened: Gödel announced the result in September 1930 at a conference in Königsberg — the same conference where Hilbert gave his famous speech "We must know, we shall know." Gödel announced at a side session that some things cannot be known within a formal system. He published in 1931. The proof was verified quickly by the mathematical community. Hilbert was reportedly furious. The Incompleteness Theorems were accepted as correct within months and have remained unchallenged for nearly a century. Gödel was 25 years old.
Chapter 2 · Vienna, 1933–1938 · The Political Situation
Vienna in the 1930s is changing. The Vienna Circle — the logical positivists you have been loosely associated with — begins to dissolve as its Jewish members leave for England and America. Moritz Schlick, the Circle's leader, is murdered by a former student on the steps of the University in 1936. The murderer is subsequently described as a hero in the Nazi press. You are not Jewish but your wife Adele is working class and was formerly a dancer, which your family considers beneath you. You have visited Princeton's Institute for Advanced Study. The United States is beginning to seem like where the work should happen.
Decision 2 · Leaving Vienna
The situation in Vienna is deteriorating. Your colleagues are leaving. Do you go to Princeton?
What actually happened: Gödel made several visits to Princeton before the Anschluss. After the Anschluss in 1938, he was called up for military service — which he would have failed, but the process was alarming. He and Adele eventually left Austria in January 1940 by crossing the Trans-Siberian Railway to Japan, then sailing to California and arriving at Princeton. The route was necessary because the Atlantic crossing was too dangerous. They left everything. Gödel became a permanent member of the Institute for Advanced Study in 1953 and never returned to Europe. The mathematical work continued immediately on arrival.
Chapter 3 · Princeton, 1940s · Einstein
At Princeton you become, improbably, close friends with Albert Einstein. The two of you walk together from your houses to the Institute every day — a walk that becomes famous, witnessed by other Institute members who describe it with awe. You are 34; Einstein is 61. You are the logician who proved mathematics cannot prove itself; he is the physicist who proved that time is not absolute. You talk for hours. Einstein later says that in his later years the main reason he still came to the Institute was for the walk with Gödel. The friendship is one of the great intellectual partnerships of the century.
Decision 3 · The Einstein Friendship
Einstein is the most famous scientist in the world and 27 years your senior. He seeks you out. How do you engage with him?
What actually happened: Gödel engaged with Einstein as an intellectual equal. Their conversations ranged across physics, logic, philosophy, and the nature of time. Gödel produced his "Gödel metric" — a mathematical model of the universe where time travel to the past is theoretically possible — in part as a philosophical challenge to Einstein's views on time. Einstein took the challenge seriously. The friendship was one of mutual intellectual stimulation that neither found elsewhere at Princeton. Einstein was often amused by Gödel's extreme logical precision: Gödel once found a logical contradiction in the US Constitution during his citizenship exam preparation.
Chapter 4 · Princeton, 1947 · The Citizenship Exam
Einstein and Oskar Morgenstern drive you to your US citizenship hearing. On the way, you tell them you have found a logical contradiction in the US Constitution that would allow a dictatorship to be legally established. Einstein and Morgenstern beg you not to bring this up with the judge. The judge at the hearing knows who Gödel is and engages him in conversation. The judge asks if you think a dictatorship like the one in Germany could happen in America. You begin to explain the contradiction you have found.
Decision 4 · The Citizenship Hearing
The judge is asking politely about American government. You have found a logical flaw in the Constitution that would allow a dictatorship. Do you explain it?
What actually happened: Einstein and Morgenstern successfully redirected the conversation before Gödel could fully explain the constitutional contradiction. Gödel received his citizenship. The incident is famous as a story about Gödel's extreme literalism — his inability to treat a polite social interaction as anything other than an occasion for rigorous logical analysis. What the constitutional contradiction actually was has been debated by legal scholars ever since. Gödel never published his analysis. He told friends it involved the amendment process but the details were lost. Some legal scholars have proposed candidates for what it might have been.
Chapter 5 · Princeton, 1950s · The Paranoia
The mental illness that has appeared periodically throughout your life is becoming more systematic. You believe people are trying to poison you. You will only eat food that your wife Adele has tasted first. You refuse to see certain doctors. You believe the furnace in your house is producing carbon monoxide. You check the heating system repeatedly. The paranoia is specific and consistent: you are being targeted, the environment is contaminated, the people around you want you dead. The Institute for Advanced Study is otherwise a pleasant place. Einstein has died (1955). You miss him badly. Adele is your primary human connection now.
Decision 5 · The Paranoia
You are experiencing consistent paranoid thoughts. Your wife manages the worst effects. Do you seek treatment?
What actually happened: Gödel did not successfully pursue treatment for the paranoia. He had been hospitalized for periods of psychiatric crisis earlier in his life (1934, 1936) and the Institute years were relatively stable — the paranoia was present but managed, partly through Adele's system of food-tasting and partly through the structured routine of the Institute. What was not anticipated was what would happen if Adele became unavailable. She was hospitalized in 1977 with serious health problems. Without her to taste his food, Gödel essentially stopped eating. By January 1978 he weighed 65 pounds.
Chapter 6 · Princeton, 1970 · The Ontological Proof
You have been working for years on a mathematical proof of the existence of God — a formalization of Anselm's ontological argument using modal logic. You believe the proof is valid. You also believe that if you publish it, people will think you are seriously asserting that God exists based on it, which is not quite what you mean — you mean that the argument is valid given certain axioms, and the question of whether the axioms are true is separate. You have shown the proof to a few colleagues but have not published it.
Decision 6 · The God Proof
You have a formal logical proof that you believe is valid. You are afraid people will misunderstand it as a personal religious statement. Do you publish it?
What actually happened: Gödel circulated the proof privately and did not publish it during his lifetime. It was published posthumously in 1987 and has since been analyzed extensively by logicians and philosophers. Computer scientists have formally verified it is logically valid — in 2013, two computer scientists formalized it in automated theorem-proving software and confirmed the proof is technically correct, given the axioms. Whether the axioms are true is, as Gödel said, a separate question. The proof demonstrates that if you accept certain modal logical axioms about necessary existence, then God necessarily exists. Most philosophers reject the axioms. The logic is impeccable.
Chapter 7 · Princeton, 1977–1978 · The End
Adele is hospitalized for several months. Without her, Gödel eats almost nothing. Friends try to bring him food; he will not eat it. He is admitted to Princeton Hospital in December 1977. He weighs 65 pounds. His death certificate gives the cause as "malnutrition and inanition due to personality disturbance." He was 71 years old. The personality disturbance in question was a belief that had been with him for decades — that someone wanted to poison him — and when the person who managed that belief was not present, the belief had its logical conclusion.
Decision 7 · The Logic of It
He starved to death because his paranoia would not allow him to eat food he did not trust. His logic was internally consistent. How do we understand this?
What actually happened: All three readings are supportable. The paranoia was internally consistent — given the premise that someone wanted to poison him, refusing to eat untested food was the logical response. The premise was wrong, but the logic was valid. This is not so different from what the Incompleteness Theorems show: a system can be internally consistent while containing statements that cannot be determined true or false within the system. Gödel's paranoia was consistent. It was also deadly. The boundary between logic and truth is exactly what his theorems are about.
Chapter 8 · The Legacy
The Incompleteness Theorems are permanent. They are used in mathematics, computer science, philosophy of mind, artificial intelligence theory, and epistemology. They tell us something fundamental about the relationship between formal systems and truth: no sufficiently powerful formal system can be both complete and consistent. There are always true statements that cannot be proven within the system. Gödel proved this in 1931 when he was 25 years old. It has not been refuted.
Decision 8 · What the Theorems Mean
The Incompleteness Theorems have been interpreted as meaning everything from "human consciousness transcends mechanism" to "AI can never be fully intelligent." What do they actually mean?
What actually happened: Gödel himself believed the theorems supported Platonism about mathematics — the view that mathematical objects and truths exist independently of human minds and formal systems. He thought the human mathematical mind grasped truths that no formal system could capture. Most logicians and mathematicians accept option A: the theorems say exactly what they say about formal systems, and extrapolating them to consciousness or epistemology generally requires additional premises that Gödel does not provide. The theorems are stunning exactly as stated. They do not need to be more than they are.