Select Connection: INPUT[inlineListSuggester(optionQuery(#permanent_note), optionQuery(#literature_note), optionQuery(#fleeting_note)):connections]
- Ground all existing theories to a finite, complete set of axioms
- Provide a proof that these axioms were consistent Ultimately, the consistency of all of mathematics could be reduced to basic arithmetic.
Statement
- Formulation of all mathematics → statements should be written in a precise formal language
- Completeness → proof that all true mathematical statements can be proved in the formalism
- Consistency → proof that no contradiction can be obtained in the formalism of mathematics
- Conservation → proof that any result about real objects obtained using reasoning about ideal objects can be proved without using ideal objects
- Decidability → there should be an algorithm for deciding the truth or falsity of any mathematical statements
Godel showed that most of the goals of Hilbert program were impossible to achieve in the famous Gödel’s incompleteness theorems.