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


 * Definition:Von Neumann-Bernays-Gödel Set Theory (with and )
 * Gödel Number

Publications





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