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.

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.”

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.