Gödel's incompleteness theorems were published in what year?
1921
1926
1931
1935
Answer
Gödel's incompleteness theorems were published in 1931. Gödel was a logician and mathematician who proved that any consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is either incomplete or inconsistent. This means that there are statements about the natural numbers that are true, but that cannot be proved within the system.
The Gödelicious Quiz: Unraveling the Genius of Kurt Gödel
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox