Gödel's incompleteness theorems / Juliette Kennedy.
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: arithme...
Saved in:
| Online Access: |
Full Text (via Cambridge) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cambridge ; New York, NY :
Cambridge University Press,
2022.
|
| Series: | Elements in philosophy and logic
|
| Subjects: |