About Kurt Gödel


Albert Einstein was not in the least joking when he called Kurt Gödel “the greatest logician since Aristotle.” Gödel achieved his lasting renown for the remarkable mathematical proof he completed in 1930, at age 24, which demonstrated that no mathematical system based on axioms and logical inference can be both consistent and complete: that is, there will always be true mathematical statements that cannot be proved within the system. “The discovery of the greatest mathematical truth of the century,” was the citation accompanying Gödel’s honorary doctorate from Harvard University in 1952.

The Incompleteness Theorem continues to fascinate mathematicians, philosophers, and computer scientists with the questions it raises about artificial intelligence, the nature of truth, and the limits of human knowledge.

With his wife to be Adele, in Vienna
Gödel’s life, from his birth in what was still the Austro-Hungarian Empire in 1906, to his tragic death in the grip of paranoid delusions in Princeton in 1978, encompasses a remarkable twentieth-century story of genius and tragedy. He was a first hand witness to the searing destruction of Vienna’s incomprable intellectual world of the 1920s and 30s under the rising tide of anti-Semitism and anti-liberalism that made it impossible for him, like thousands of other Austrian scientists and artists, to remain in the place that had been a world leader in philosophy, physics, mathematics, and culture. Though Gödel was not Jewish, he had many Jewish friends and his very interest in mathematical foundations brought him under suspicion in the twisted Nazi ideology that equated modern scientific and philosophical thought, including Einstein’s Theory of Relativity, Schrödinger’s quantum mechanics, and his mentor Moritz Schlick’s logical empiricism, with “Jewish science.”
Nazi takeover of the University of Vienna, 1938

He twice spent semesters as a visiting scholar at Princeton’s newly founded Institute of Advanced Study in the 1930s, and in 1940 in a dramatic hair’s breadth escape from Nazi Germany that took him and his new wife on a nearly round the world journey across Europe, Sibera, and the Pacific, he arrived in Princeton where he remained the rest of his career.

At the Institute he finished his second great work in mathematics, his proof of the consistency of the Axiom of Choice and the General Continuum Hypothesis, and embarked on a novel solution to Einstein’s General Relativity equations producing a world in which absolute time does not exist and time travel is even theoretically possible.

Walking with Einstein in Princeton
The documents I am posting here, which inform my forthcoming biography of Kurt Gödel, paint a far more nuanced picture of this complex and fascinating personality than the last tragic years of his life suggest—and which indeed have tended to overshadow the received portrait of him with an image of his terrible descent into mental illness, and final self-starvation. His warm friendships with Einstein, Olga Taussky, Oskar Morgenstern, Georg Kreisel, and many other great physicists and mathematicians of his age—as well as with his family—reveal a man of great human empathy, insight, and generosity as well as insecurity and torment.

In their years in Princeton, Gödel and Einstein walked together nearly every day, discoursing on mathematics, physics, philosophy, politics, and life. "By far Einstein's best friend," his assistant remarked of Gödel. And as Morgenstern wrote in his diary about the strange and deep friendship between these two men, such studies in contrast in every way, "Einstein sees everything very clearly; the pathological traits and the genius."

Image credits
Einstein and Gödel: Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA; photograph by Oskar Morgenstern. Identifier EB 069
Page proof of Incompleteness Theorem: Kurt Gödel Papers, the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA, on deposit at Princeton University Library. Box 7b, folder 13, ID 040021
Adele and Gödel: Kurt Gödel Papers. Box 14b, folder 17, ID 110064
Nazis at University of Vienna: Courtesy ÖNB Photo Archive
Walking with Einstein: Leonard McCombe LIFE Picture Collection/Getty Images