Kurt Gödel
Kurt Gödel

Kurt Gödel
1906 AD - 1978 AD

Gödel essentially constructed a formula that claims that it is unprovable in a given formal system. If it were provable, it would be false. Thus there will always be at least one true but unprovable statement. That is, for any computably enumerable set of axioms for arithmetic (that is, a set that can in principle be printed out by an idealized computer with unlimited resources), there is a formula that is true of arithmetic, but which is not provable in that system. To make this precise, however, Gödel needed to produce a method to encode (as natural numbers) statements, proofs, and the concept of provability; he did this using a process known as Gödel numbering.

Gödel automatically became a citizen of Czechoslovakia at age 12 when the Austro-Hungarian Empire collapsed following its defeat in the First World War. According to his classmate Klepetař, like many residents of the predominantly German Sudetenländer, "Gödel considered himself always Austrian and an exile in Czechoslovakia". In February 1929, he was granted release from his Czechoslovakian citizenship and then, in April, granted Austrian citizenship.

When Germany annexed Austria in 1938, Gödel automatically became a German citizen at age 32. In 1948, after World War II, at the age of 42, he became an American citizen.


    No children in database
per page
Events (5) for
Shane Bow Thai Hangman Thai Drills alasnome sirijanda sirijanda CrossFit F3 dcce