Close Window
Today is Kurt Gödel's Birthday!
Happy Birthday
Kurt Gödel!

Born:  April 28, 1906
in Austria-Hungary

Died:  January 14, 1978

Princeton, N.J.

Gödel is one of the most famous logicians of all time. He is best known for his "Incompleteness Theorem," which proved that in any axiom system, there are statements that can be neither proved nor disproved. Much later in his life, he showed that the axiom of choice and continuum hypothesis are consistent with the axioms of set theory, which helped lead the way for Cohen’s proof of the independence of these propositions.