Gödel's Incompleteness Theorems
Part of Elements in Philosophy and Logic
- Author: Juliette Kennedy, University of Helsinki
- Date Published: April 2022
- availability: Available
- format: Paperback
- isbn: 9781108986991
Paperback
Other available formats:
eBook
Looking for an inspection copy?
This title is not currently available on inspection
-
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incompleteness Theorems, opening up completely passages in it that might possibly puzzle the student, such as the mysterious footnote 48a. It considers the main ingredients of Gödel's proof: arithmetization, strong representability, and the Fixed Point Theorem in a layered fashion, returning to their various aspects: semantic, syntactic, computational, philosophical and mathematical, as the topic arises. It samples some of the most important proofs of the Incompleteness Theorems, e.g. due to Kuratowski, Smullyan and Robinson, as well as newer proofs, also of other independent statements, due to H. Friedman, Weiermann and Paris-Harrington. It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately the undecidability of the Entscheidungsproblem, as Kripke has recently argued. It considers set-theoretical incompleteness, and finally considers some of the philosophical consequences considered in the literature.
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: April 2022
- format: Paperback
- isbn: 9781108986991
- length: 75 pages
- dimensions: 229 x 151 x 5 mm
- weight: 0.15kg
- availability: Available
Table of Contents
Introduction
1. The first version of the proof
2. Gödel's 'intuitionistically acceptable' second proof of the First Incompleteness Theorem
3. The unprovability of consistency
4. Löb conditions and adequacy
5. Other proofs of the First and Second Theorems
6. Mathematical Incompleteness
7. Set Theoretical Incompleteness
8. Further philosophical consequences of the Incompleteness Theorems.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×