Opening book details…
Can I read Gödel's Incompleteness Theorems (Elements in Philosophy and Logic) on EtoBox?
Gödel's Incompleteness Theorems (Elements in Philosophy and Logic) by Juliette Kennedy is a philosophy book available to read on EtoBox.
What is Gödel's Incompleteness Theorems (Elements in Philosophy and Logic) about?
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.
Who reads Gödel's Incompleteness Theorems (Elements in Philosophy and Logic)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Juliette Kennedy
- Publisher
- Cambridge University Press (Virtual Publishing)
- Published
- 2022
- Language
- EN
- ISBN
- 9781108986991
- Category
- philosophy
- Subjects
- Philosophy, Mathematics, Set Theory
- Updated
- 2026-03-25
More by Juliette Kennedy
Browse all works by Juliette Kennedy
Similar books
- Gödel's Incompleteness Theorems — Raymond M. Smullyan (1992)
- Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel's Historic Proof — Dirk W. Hoffmann (2024)
- Math girls 3 : Godel's incompleteness theorems — Tony Gonzalez; Hiroshi Yuki (2016)
- An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy) — P. T. Geach, B. (2013)
- An Introduction to Godel's Theorems Second Edition — Peter Smith (2007)
- Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics — Regula Krapf Lorenz Halbeisen (2025)