Biographical timeline of Austrian-American logician Kurt Gödel, famous for his Incompleteness Theorems that transformed mathematical philosophy.
Kurt Friedrich Gödel is born in Brünn, Austria-Hungary (now Brno, Czech Republic). His father is a factory manager. #biography #mathematics
Gödel begins his education at the Evangelische Volksschule, a Protestant school in Brünn. He excels in languages and mathematics. #education #mathematics
Gödel enters the Staatsgymnasium in Brünn, where he studies classics and mathematics. He shows exceptional aptitude in mathematics and languages. #education #mathematics
Gödel enrolls at the University of Vienna, initially studying physics but soon switching to mathematics. He attends lectures by Hans Hahn and Moritz Schlick. #education #mathematics
Gödel begins attending the meetings of the Vienna Circle, though he remains a critical observer rather than an adherent. He is influenced by logical positivism but develops his own views. #philosophy #logic
Gödel submits his doctoral dissertation on the completeness of first-order logic, proving that all valid formulas are provable. This establishes the completeness theorem. #logic #mathematics
Gödel receives his Ph.D. from the University of Vienna. His dissertation on completeness is published the same year. #education #mathematics
At a conference in Königsberg, Gödel announces his first incompleteness theorem, showing that any consistent formal system containing arithmetic is incomplete. #incompleteness #logic
Gödel publishes 'On Formally Undecidable Propositions of Principia Mathematica and Related Systems', containing both the first and second incompleteness theorems. This revolutionizes mathematical logic and philosophy. #incompleteness #mathematics
Gödel becomes a Privatdozent (unsalaried lecturer) at the University of Vienna, allowing him to teach. He lectures on topics in logic and mathematics. #career #mathematics
Gödel travels to Princeton, New Jersey, to give lectures at the Institute for Advanced Study. He meets Albert Einstein and begins a lifelong friendship. #travel #mathematics
At Princeton, Gödel delivers a series of lectures on the concept of recursive functions, which later influence the development of computability theory and the Church-Turing thesis. #logic #computability
Gödel returns to Vienna and suffers from emotional depression, his first major mental health crisis. He takes a leave from teaching. #health #biography
Gödel marries Adele Nimbursky, a dancer, despite his parents' initial objections. The couple remains together until his death. #biography #personal
Gödel proves that the continuum hypothesis is consistent with the Zermelo-Fraenkel set theory axioms (ZFC), showing that it cannot be disproved within ZFC. He presents this at a conference. #settheory #mathematics
Gödel publishes his results on the consistency of the continuum hypothesis in 'The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory'. #settheory #publication
Fleeing the Nazi regime, Gödel leaves Austria via the Trans-Siberian railway and a ship from Japan, arriving in Princeton. He becomes a member of the Institute for Advanced Study. #biography #refugee
Gödel and Einstein develop a close friendship, often taking long walks together. Einstein says that he visits the Institute just to have the pleasure of walking home with Gödel. #friendship #physics
Gödel is granted a permanent membership at the Institute for Advanced Study, securing his position in the United States. #career #mathematics
Gödel writes a critical essay on Bertrand Russell's mathematical logic, contributing to the philosophy of logic and mathematics. #philosophy #logic
After a naturalization hearing where he attempts to point out a logical flaw in the Constitution, Gödel becomes a U.S. citizen. #biography #citizenship
Gödel publishes a solution to Einstein's field equations that describes a rotating universe, allowing for closed timelike curves and time travel. This has implications for general relativity and cosmology. #physics #relativity
Gödel is awarded the first Einstein Award for his contributions to mathematics and theoretical physics. The award is presented by Albert Einstein himself. #award #achievement
Gödel is elected to the United States National Academy of Sciences in recognition of his seminal work. #honor #mathematics
Gödel presents a new, constructive interpretation of his incompleteness theorems using a double-negation translation, known as the Dialectica interpretation. #logic #mathematics
Gödel receives an honorary doctorate from Harvard University, acknowledging his profound impact on logic and mathematics. #honor #education
Gödel develops a formal ontological argument for the existence of God using modal logic, but does not publish it during his lifetime. #philosophy #logic
Gödel confides in friends about his ontological proof, which aims to demonstrate God's existence by necessity. It is later published posthumously. #philosophy #theology
Gödel's mental and physical health declines rapidly. He becomes increasingly paranoid and convinced that he is being poisoned, leading him to stop eating properly. #health #biography
Kurt Gödel dies in Princeton, New Jersey, at the age of 71 due to starvation and dehydration caused by self-imposed dietary restrictions related to his mental health. #obituary #legacy