Mathematician:Kurt Friedrich Gödel

Mathematician

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 Completeness Theorem
• Gödel's First Incompleteness Theorem
• Gödel's Second Incompleteness Theorem

• Von Neumann-Bernays-Gödel Set Theory (with John von Neumann and Paul Isaac Bernays)
• Gödel Number

Results named for Kurt Friedrich Gödel can be found here.

Definitions of concepts named for Kurt Friedrich Gödel can be found here.

Axioms named for Kurt Friedrich Gödel can be found here.

Publications

• 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: pp. 173 – 198)

• 1932: Zum intuitionistischen Aussagenkalkül (Anzeiger Akademie der Wissenschaften Wien Vol. 69: pp. 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? (American Mathematical Monthly Vol. 54: pp. 515 – 525)  www.jstor.org/stable/2304666

Sources

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

• 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): Gödel, Kurt (1906-78)
• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Gödel, Kurt (1906-78)
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Gödel, Kurt (1906-78)
• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): Gödel, Kurt (1906-78)