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
 * Von Neumann-Bernays-Gödel Set Theory (with and )

Books and Papers

 * 1940: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.
 * 1940: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.
 * 1940: The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.