On the Question of Absolute Undecidability

  title={On the Question of Absolute Undecidability},
  author={Peter Koellner},
The incompleteness theorems show that for every sufficiently strong consistent formal system of mathematics there are mathematical statements undecided relative to the system. A natural and intriguing question is whether there are mathematical statements that are in some sense absolutely undecidable, that is, undecidable relative to any set of axioms that are justified. Gödel was quick to point out that his original incompleteness theorems did not produce instances of absolute undecidability… CONTINUE READING

From This Paper

Topics from this paper.


Publications referenced by this paper.

Set Theory, Third Millennium edn, Springer-Verlag

  • T. Jech
  • 42
  • 2003
Highly Influential
5 Excerpts

The Higher Infinite, Perspectives in Mathematical Logic, Springer-Verlag, Berlin

  • A. Kanamori
  • 1997
Highly Influential
4 Excerpts

Structural consequences of AD, in A

  • S. Jackson
  • Kanamori & M. Foreman (eds), Handbook of Set…
  • 2009
2 Excerpts

Similar Papers

Loading similar papers…