Another look at the second incompleteness theorem

Review of Symbolic Logic 13 (2):269-295 (2020)
  Copy   BIBTEX

Abstract

In this paper we study proofs of some general forms of the Second Incompleteness Theorem. These forms conform to the Feferman format, where the proof predicate is fixed and the representation of the set of axioms varies. We extend the Feferman framework in one important point: we allow the interpretation of number theory to vary.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020319000248

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Surprise Examination Paradox and the Second Incompleteness Theorem.Shira Kritchman & Ran Raz - unknown
A generalization of the Second Incompleteness Theorem and some exceptions to it.Dan E. Willard - 2006 - Annals of Pure and Applied Logic 141 (3):472-496.
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
Query the Triple Loophole of the Proof of Gödel Incompleteness Theorem.FangWen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 41:77-94.
Fromal statements of Godel's second incompleteness theorem.Harvey Friedman - manuscript
The Scope of Gödel’s First Incompleteness Theorem.Bernd Buldt - 2014 - Logica Universalis 8 (3-4):499-552.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
Heterologicality and Incompleteness.Cezary Cieśliński - 2002 - Mathematical Logic Quarterly 48 (1):105-110.
Incompleteness and Computability: An Open Introduction to Gödel's Theorems.Richard Zach - 2019 - Open Logic Project.
Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
A note on the first incompleteness theorem.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (2):214-216.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
The Reconstruction of the First K. Goedel's Incompleteness Theorem.Vitaly Filippovski - 2009 - Analytica 3:37-77.

Analytics

Added to PP
2019-06-11

Downloads
54 (#288,506)

6 months
13 (#185,110)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

There May Be Many Arithmetical Gödel Sentences.Kaave Lajevardi & Saeed Salehi - 2021 - Philosophia Mathematica 29 (2):278–287.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Provability logic.Rineke Verbrugge - 2008 - Stanford Encyclopedia of Philosophy.
The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.Albert Visser - 2020 - Archive for Mathematical Logic 60 (3-4):441-468.

Add more citations

References found in this work

Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.

View all 14 references / Add more references