2022
DOI: 10.1017/9781108981972
|View full text |Cite
|
Sign up to set email alerts
|

Gödel's Incompleteness Theorems

Abstract: 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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
11
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
6
2

Relationship

0
8

Authors

Journals

citations
Cited by 21 publications
(15 citation statements)
references
References 60 publications
0
11
0
Order By: Relevance
“…Einstein's viewpoint was that QM is statistical, just as classical physics of Thermodynamics is and the Boltzmann's population density distribution with temperature is. We also now know Gödel's Incompleteness Theorem [45], which underscores that all theories are necessarily incomplete as they are constructed using unprovable axioms, or postulates, framed using incomplete knowledge of the universe. However, in our viewpoint, Schrodinger's commentary was dominantly in support of his well-established theory, but partly as a "tongue-in-cheek" sarcasm.…”
Section: Entanglement and Bell's Theoremmentioning
confidence: 99%
“…Einstein's viewpoint was that QM is statistical, just as classical physics of Thermodynamics is and the Boltzmann's population density distribution with temperature is. We also now know Gödel's Incompleteness Theorem [45], which underscores that all theories are necessarily incomplete as they are constructed using unprovable axioms, or postulates, framed using incomplete knowledge of the universe. However, in our viewpoint, Schrodinger's commentary was dominantly in support of his well-established theory, but partly as a "tongue-in-cheek" sarcasm.…”
Section: Entanglement and Bell's Theoremmentioning
confidence: 99%
“…But Turing machines are also positive integers. Conceptual constructions, such as numbers or logic, cannot prove properties about themselves [37]. A demonstration of this for Turing machines is a construction of a diagonal function on the numeral representation of Turing machines [10, p. 37].…”
Section: • the Set Of All Ordered Pairs Of Positive Integersmentioning
confidence: 99%
“…Those who are acquainted with Gödel's incompleteness theorems [6] or with the axiomatic theories of truth [3] can ask: Aren't Peano Arithmetic or some of the theories of truth self-reflective? Not at all, because these formal theories are not interpreted theories: their descriptions say nothing about their interpretations.…”
Section: Introductionmentioning
confidence: 99%