Today is Kurt Gödel's Birthday!

Happy Birthday
Kurt Gödel!
Born: April 28, 1906
in AustriaHungary
Died: January 14, 1978
in
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. 