Mathematician:Kurt Friedrich Gödel

From ProofWiki
Jump to navigation Jump to search

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

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)
  • 1940: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.


Sources