A Short Guide to Gödel's Second Incompleteness Theorem

Bagaria, Joan (2003) A Short Guide to Gödel's Second Incompleteness Theorem. Teorema, XXII (3). pp. 5-15.

[img]
Preview
PDF
Bagaria.pdf

Download (336kB)

Abstract

The usual proof of Godel's second incompleteness theorem for weak theories like I Sigma 'subscript 1' is long and technically cumbersome. The details are rarely given in full and in most cases they are skipped altogether with dismissing vague sentences alluding to the reader's ability to fill them in. In the first part of this note we provide a guide through the main technical points of the usual proof of Godel's theorem for weak theories. In the second part we present a different and simpler proof of the theorem for Zermelo-Fraenkel set theory, due to T. Jech, and we observe that it can be stretched to encompass weak theories, while avoiding many of the technicalities that are required in the usual proofs.

Item Type: Article
Uncontrolled Keywords: K. Gödel; Incompleteness; Logic; Theory; weak
Subjects: Philosophie > Philosophische Journale, Kongresse, Vereinigungen > Teorema. Revista internacional de filosofia > Volume XXII (2003)
Philosophie > Philosophische Disziplinen > Logik, analytische Philosophie
Depositing User: Stefan Köstenbauer
Date Deposited: 15 Nov 2005
Last Modified: 03 Jul 2013 12:13
URI: http://sammelpunkt.philo.at/id/eprint/1126

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year