Mathematician:Kurt Friedrich 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 38: 173-98.
 * 1932: Zum intuitionistischen Aussagenkalkül, Anzeiger Akademie der Wissenschaften Wien 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 54: 515-25.