- Home
- / Kurt Gödel
- / Who made important contributions to proof theory by connecting classical logic, intuitionistic logic and modal logic?
Who made important contributions to proof theory by connecting classical logic, intuitionistic logic and modal logic?
Albert Einstein
Isaac Newton
Kurt Gödel
Marie Curie
Answer
Kurt Gödel was an Austrian-American mathematician who made important contributions to proof theory by connecting classical logic, intuitionistic logic and modal logic. He is also known for his work on the incompleteness theorems, which showed that no consistent system of axioms whose theorems can be listed by an "effective procedure" (essentially, a computer program) is capable of proving all truths about the natural numbers.
The Gödelicious Quiz: Unraveling the Genius of Kurt Gödel
More Questions
When did Kurt Gödel pass away?
In Gödel's time, who were major figures working with logic and set theory to examine the mathematical foundations?
Kurt Gödel is considered along with whom to be one of the most significant logicians in history?
Which theorem states that for a powerful enough system to explain the arithmetic of natural numbers, some propositions can be neither proved nor disproved?
Which two well-known mathematicians were building on the work of Dedekind, Cantor, and Frege during Gödel's time?
Subscribe Now!
Learn something
new everyday
Playing quizzes is free! We send 1 quiz every week to your inbox