Skip to main content
×
×
Home
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 1
  • Cited by
    This chapter has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Eastaugh, Benedict 2018. Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics†. Philosophia Mathematica,

    ×
  • Print publication year: 2010
  • Online publication date: August 2010

The Gödel hierarchy and reverse mathematics

Summary

§1. The Hilbert problems and Hilbert's Program. In 1900 the great mathematician David Hilbert laid down a list of 23 mathematical problems which exercised a great influence on subsequent mathematical research. From the perspective of foundational studies, it is noteworthy that Hilbert's Problems 1 and 2 are squarely in the area of foundations of mathematics, while Problems 10 and 17 turned out to be closely related to mathematical logic.

1. Cantor's Problem of the Cardinal Number of the Continuum.

2. Compatibility of the Arithmetical Axioms.

10. Determination of the Solvability of a Diophantine Equation.

17. Expression of Definite Forms by Squares.

Our starting point here is Problem 2, the consistency (= “compatibility”) of the arithmetical axioms. In a later paper published in 1926, Hilbert further elaborated his ideas on the importance of consistency proofs. Hilbert's Program asks for a finitistic consistency proof for all of mathematics. Although we are not concerned with consistency proofs in Hilbert's sense, we are interested in certain logical structures which grew out of Hilbert's original concerns.

In answer to Hilbert's Problem 2 and Hilbert's Program, Gödel proved the famous Incompleteness Theorems. Let T be any theory in the predicate calculus satisfying certain well-known mild conditions. Then we have the following results:

T is incomplete (First Incompleteness Theorem, Gödel 1931).

The statement “T is consistent” is not a theorem of T

(Second Incompleteness Theorem, Gödel 1931).

[…]

Recommend this book

Email your librarian or administrator to recommend adding this book to your organisation's collection.

Kurt Gödel
  • Online ISBN: 9780511750762
  • Book DOI: https://doi.org/10.1017/CBO9780511750762
Please enter your name
Please enter a valid email address
Who would you like to send this to *
×