Are There Absolutely Unsolvable Problems ? Gödel ' s D ichotomy

  title={Are There Absolutely Unsolvable Problems ? G{\"o}del ' s D ichotomy},
  author={Solomon Feferman},
This is a critical analysis of the first part of Gödel’s 1951 Gibbs lecture on certain philosophical consequences of the incompleteness theorems. Gödel’s discussion is framed in terms of a distinction between objective mathematics and subjective mathematics, according to which the former consists of the truths of mathematics in an absolute sense, and the latter consists of all humanly demonstrable truths. The question is whether these coincide; if they do, no formal axiomatic system (or Turing… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-8 of 8 references

Shadows of the Mind

  • 1994

The manuscripts

  • Emil L. Post
  • IVOR
  • 1990

Hilbert’s first problem: The Continuum Hypothe

  • 1976

Mathematical Developments Arising From Hilbert Problems

  • R. I. Providence, S. PATRICIA, J. TERRENCE
  • Proceedings of Symposia in Pure Mathematics
  • 1976

Minds, machines, and Gödel

  • J. R. LUCAS
  • Philosophy
  • 1961
1 Excerpt

Some basic theorems on the foundations of mathematics

  • 1951

Similar Papers

Loading similar papers…