Kurt Gödel (1906–1978) was an Austrian-American mathematician and philosopher, and one of the most important logicians in history.
Gödel is perhaps best known for his two incompleteness theorems which demonstrate the limits of existing systems of logic and mathematics.
The second theorem states that any theory sophisticated enough to formally express its own soundness (i.e., consistency) within its system can do so if and only if it is unsound (i.e., inconsistent).
Name: Kurt Gödel
Born: April 28, 1906
Died: January 14, 1978
Awards: Albert Einstein Award (1951)