What does the completeness theorem deal with?
The foundations of mathematics
The theory of gravity
The principles of quantum mechanics
The nature of light
Answer
Gödel's completeness theorem is one of the most important results in logic and the foundations of mathematics. It states that every consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is also complete: every statement that can be expressed in the system is either provable or disprovable. This theorem has a number of important consequences.
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