ProofWiki:Mathematicians/Kurt Gödel

Austrian mathematician who emigrated to the U.S.A. in 1940.

Famous for his first and second incompleteness theorems.

Nationality

Austrian-American

History

• Born: April 28, 1906, Brno
• Died: January 14, 1978 Princeton, New Jersey

Theorems and Definitions

• Gödel's First Incompleteness Theorem
• Gödel's Second Incompleteness Theorem

Books and Papers

• 1931: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme ("On formally undecidable propositions of Principia Mathematica and related systems") (Monatshefte für Mathematik und Physik Vol. 38: 173 – 198)
• 1932: Zum intuitionistischen Aussagenkalkül (Anzeiger Akademie der Wissenschaften Wien Vol. 69: 65 – 66)
• 1940: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.
• 1947: What is Cantor's continuum problem? (The American Mathematical Monthly Vol. 54: 515 – 525)

Also see

• John J. O'Connor and Edmund F. Robertson: "Kurt Gödel": MacTutor History of Mathematics archive