Kurt Godel

Kurt Friedrich Godel was born on April 28, 1906, in Brno, a Moravian city that then belonged to Austria-Hungary and later became part of Czechoslovakia ^[1]. His father, Rudolf Godel, managed a textile factory, and the family belonged to the German-speaking community of the city. His mother, Marianne, had received a broad literary education and encouraged intellectual interests at home ^[2].

As a child Godel earned the family nickname "Herr Warum", meaning "Mr. Why", because of his constant questioning ^[2]. A bout of rheumatic fever at about age eight left a lasting mark: after reading about the illness, he became convinced that his heart had been damaged, a belief that fed the health anxieties that shadowed him for the rest of his life ^[1]. He excelled at the German-language Realgymnasium in Brno, reportedly never receiving a grade below the highest mark, with particular strength in mathematics, languages, and religion ^[2].

In 1924 he moved to Vienna to enter the university. He initially intended to study theoretical physics, but lectures on number theory and the influence of the philosopher-mathematician circle around the university drew him toward mathematics and then to mathematical logic ^[1]. When Czechoslovakia was created after the First World War, Godel automatically became a Czechoslovak citizen, though he never felt at home in the new state and took Austrian citizenship in 1929 ^[2].

At the University of Vienna, Godel studied under Hans Hahn and attended meetings of the Vienna Circle, the group of philosophers and scientists around Moritz Schlick who developed logical positivism ^[1]. Godel listened carefully but never accepted their core doctrines. Where the Circle treated mathematics as a matter of linguistic convention, Godel held a Platonist view: mathematical objects exist independently of human minds, and mathematicians discover rather than invent their truths ^[3].

His doctoral dissertation, completed in 1929 and published in 1930, established the completeness theorem for first-order logic: every logically valid formula of first-order predicate calculus can be proved from the standard axioms ^[1]. The result answered a question posed by David Hilbert and Wilhelm Ackermann and immediately marked the young logician, then twenty-three, as a major figure.

Any facts about who was Kurt Godel before fame belong to this narrow Vienna window. He announced his most consequential discovery almost casually, during a discussion at a conference in Konigsberg in September 1930, where John von Neumann was among the few who instantly grasped its significance ^[4]. The full paper appeared in 1931 in the journal Monatshefte fur Mathematik und Physik under a title referring to formally undecidable propositions of Principia Mathematica and related systems ^[1].

Godel's 1931 paper contained the two incompleteness theorems that anchor any account of Kurt Godel achievements. The first theorem shows that in any consistent formal system powerful enough to express elementary arithmetic, there are true statements that the system can neither prove nor disprove ^[1]. The second shows that such a system cannot prove its own consistency. Together they demolished the central ambition of Hilbert's program, which had sought to secure all of mathematics on a provably consistent, complete axiomatic base ^[4].

The proof introduced a technique now called Godel numbering, which encodes statements and proofs as natural numbers so that a formal system can, in a precise sense, talk about itself ^[3]. This idea of arithmetizing syntax influenced the later work of Alan Turing and Alonzo Church on computability and helped shape the theoretical foundations of computer science, which is one reason Godel is sometimes described as an ancestor of the field ^[4].

His second landmark came in set theory. In 1938 Godel proved that the axiom of choice and the continuum hypothesis are consistent with the standard Zermelo-Fraenkel axioms, meaning neither can be disproved from them ^[1]. He did this by constructing an inner model of set theory, the constructible universe, denoted L. Combined with Paul Cohen's 1963 proof that the same statements cannot be proved from those axioms either, Godel's work established that the continuum hypothesis is independent of standard set theory ^[3].

In 1949 he turned to physics and found exact solutions to Einstein's field equations of general relativity describing a rotating universe. In the Godel universe, closed timelike curves exist, so that in principle a traveler could loop back into the past ^[5]. Godel presented the work for Einstein's seventieth birthday and drew philosophical conclusions about the ideality of time from it.

In 1938 Godel married Adele Nimbursky, a Viennese dancer six years his senior who had been divorced, a match his family had resisted for years ^[2]. Adele proved devoted and protective. During Godel's episodes of paranoia about being poisoned, she tasted his food to reassure him, and colleagues credited her care with keeping him functioning through repeated crises ^[4]. The couple had no children.

Godel suffered several breakdowns during the 1930s and spent time in sanatoria for depression and nervous exhaustion ^[2]. The murder of Moritz Schlick by a former student in 1936 deepened his distress. Despite his fragility he continued to produce work of the highest order, lecturing in Vienna and making visits to Princeton in 1933 and 1935.

After Germany annexed Austria in 1938, Godel's position deteriorated. His university post was abolished under the new regime, he was assessed as fit for military service, and he was once assaulted in the street by youths who apparently took him for a Jew, though he was not Jewish ^[2]. In January 1940 the Godels left Vienna, traveling east across the Soviet Union on the Trans-Siberian Railway, then by ship from Japan to San Francisco, arriving in Princeton in March 1940 ^[1].

Godel joined the Institute for Advanced Study in Princeton, first as an ordinary member, becoming a permanent member in 1946 and a professor in 1953 ^[1]. The institute gave him freedom from teaching duties and a small circle of trusted colleagues. Foremost among them was Albert Einstein, who walked home with Godel almost daily and remarked, according to the economist Oskar Morgenstern, that in his late years he came to the institute chiefly for the privilege of those walks ^[4].

A well-known story attaches to Godel's citizenship hearing in 1947. While preparing, he became convinced that he had found a logical flaw in the United States Constitution that could permit a dictatorship, and Einstein and Morgenstern, his witnesses, worked to keep him from expounding the discovery to the judge ^[4]. He became a United States citizen in 1948, holding American nationality alongside his Austrian origins.

His published output slowed after the 1940s, but he wrote influential philosophical essays, including a 1947 paper on the continuum problem for the American Mathematical Monthly, and he developed a formal version of the ontological argument for the existence of God that circulated privately and appeared after his death ^[3]. Honors accumulated: the first Einstein Award in 1951, shared with Julian Schwinger, election to the National Academy of Sciences, and the National Medal of Science in 1974 ^[1].

Godel's final decade was dominated by declining health, both his own and Adele's. His lifelong hypochondria hardened into a fixed fear that his food was being poisoned, and he would eat little unless his wife prepared and tested his meals ^[2]. He distrusted doctors, refused treatment at critical moments, and grew increasingly isolated, communicating with many colleagues only by telephone even when they were nearby.

In 1977 Adele underwent surgery and was hospitalized for an extended period. Deprived of the one person whose food he would accept, Godel essentially stopped eating ^[4]. He was admitted to Princeton Hospital at the end of December 1977 and died there on January 14, 1978. The death certificate recorded malnutrition and inanition caused by personality disturbance; he weighed roughly 65 pounds at the end ^[2]. He was buried in Princeton Cemetery, where Adele joined him after her death in 1981.

Few results in the history of thought have traveled as far as the incompleteness theorems, and any Kurt Godel biography must reckon with their reach. Within mathematics they redrew the map of what axiomatic methods can accomplish and opened the modern era of mathematical logic, model theory, and set theory ^[3]. Beyond mathematics, the theorems entered debates in philosophy of mind, computer science, and popular culture, most visibly through Douglas Hofstadter's Pulitzer Prize-winning 1979 book Godel, Escher, Bach ^[5].

Colleagues ranked him with the greatest logicians ever. Von Neumann called him the most significant logician since Aristotle, and Time magazine listed him in 1999 among the hundred most influential people of the twentieth century ^[4]. His collected works, edited by Solomon Feferman and others in five volumes, made his published papers, unpublished essays, and correspondence available to scholars ^[3].

The basic Kurt Godel facts, a quiet man from Brno who proved that mathematical truth outruns formal proof, continue to draw new readers. The Kurt Godel Society in Vienna, founded in 1987, promotes research in logic and philosophy in his name, and the Godel Prize, awarded annually since 1993, honors outstanding papers in theoretical computer science ^[5]. Nearly a century after his 1931 paper, working logicians still operate inside the boundaries he discovered.