Today is Kurt Gödel's Birthday!
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.
Born: April 28, 1906
Died: January 14, 1978