TY - JOUR

T1 - Gödel's Third Incompleteness Theorem

AU - McCarthy, Timothy

N1 - Publisher Copyright:
© 2016 The Author dialectica.

PY - 2016/3/1

Y1 - 2016/3/1

N2 - In a note appended to the translation of "On consistency and completeness" (), Gödel reexamined the problem of the unprovability of consistency. Gödel here focuses on an alternative means of expressing the consistency of a formal system, in terms of what would now be called a 'reflection principle', roughly, the assertion that a formula of a certain class is provable in the system only if it is true. Gödel suggests that it is this alternative means of expressing consistency that we should be interested in from a foundational point of view, and he gives a result that shows certain reflection principles to be underivable in extensions of elementary number theory under conditions significantly weaker than the Hilbert-Bernays derivability conditions. In this paper I shall discuss the background to Gödel's result and the foundational significance he claims for it. Along the way, I shall present a new proof of the result which places it in an even more general context than the one considered by Gödel in the 1960s.

AB - In a note appended to the translation of "On consistency and completeness" (), Gödel reexamined the problem of the unprovability of consistency. Gödel here focuses on an alternative means of expressing the consistency of a formal system, in terms of what would now be called a 'reflection principle', roughly, the assertion that a formula of a certain class is provable in the system only if it is true. Gödel suggests that it is this alternative means of expressing consistency that we should be interested in from a foundational point of view, and he gives a result that shows certain reflection principles to be underivable in extensions of elementary number theory under conditions significantly weaker than the Hilbert-Bernays derivability conditions. In this paper I shall discuss the background to Gödel's result and the foundational significance he claims for it. Along the way, I shall present a new proof of the result which places it in an even more general context than the one considered by Gödel in the 1960s.

UR - http://www.scopus.com/inward/record.url?scp=84975727045&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84975727045&partnerID=8YFLogxK

U2 - 10.1111/1746-8361.12134

DO - 10.1111/1746-8361.12134

M3 - Article

AN - SCOPUS:84975727045

SN - 0012-2017

VL - 70

SP - 87

EP - 112

JO - Dialectica

JF - Dialectica

IS - 1

ER -