Book contents
- Frontmatter
- Contents
- Preface
- 1 What Gödel's Theorems say
- 2 Decidability and enumerability
- 3 Axiomatized formal theories
- 4 Capturing numerical properties
- 5 The truths of arithmetic
- 6 Sufficiently strong arithmetics
- 7 Interlude: Taking stock
- 8 Two formalized arithmetics
- 9 What Q can prove
- 10 First-order Peano Arithmetic
- 11 Primitive recursive functions
- 12 Capturing p.r. functions
- 13 Q is p.r. adequate
- 14 Interlude: A very little about Principia
- 15 The arithmetization of syntax
- 16 PA is incomplete
- 17 Gödel's First Theorem
- 18 Interlude: About the First Theorem
- 19 Strengthening the First Theorem
- 20 The Diagonalization Lemma
- 21 Using the Diagonalization Lemma
- 22 Second-order arithmetics
- 23 Interlude: Incompleteness and Isaacson's conjecture
- 24 Gödel's Second Theorem for PA
- 25 The derivability conditions
- 26 Deriving the derivability conditions
- 27 Reflections
- 28 Interlude: About the Second Theorem
- 29 µ-Recursive functions
- 30 Undecidability and incompleteness
- 31 Turing machines
- 32 Turing machines and recursiveness
- 33 Halting problems
- 34 The Church–Turing Thesis
- 35 Proving the Thesis?
- 36 Looking back
- Further reading
- Bibliography
- Index
15 - The arithmetization of syntax
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- 1 What Gödel's Theorems say
- 2 Decidability and enumerability
- 3 Axiomatized formal theories
- 4 Capturing numerical properties
- 5 The truths of arithmetic
- 6 Sufficiently strong arithmetics
- 7 Interlude: Taking stock
- 8 Two formalized arithmetics
- 9 What Q can prove
- 10 First-order Peano Arithmetic
- 11 Primitive recursive functions
- 12 Capturing p.r. functions
- 13 Q is p.r. adequate
- 14 Interlude: A very little about Principia
- 15 The arithmetization of syntax
- 16 PA is incomplete
- 17 Gödel's First Theorem
- 18 Interlude: About the First Theorem
- 19 Strengthening the First Theorem
- 20 The Diagonalization Lemma
- 21 Using the Diagonalization Lemma
- 22 Second-order arithmetics
- 23 Interlude: Incompleteness and Isaacson's conjecture
- 24 Gödel's Second Theorem for PA
- 25 The derivability conditions
- 26 Deriving the derivability conditions
- 27 Reflections
- 28 Interlude: About the Second Theorem
- 29 µ-Recursive functions
- 30 Undecidability and incompleteness
- 31 Turing machines
- 32 Turing machines and recursiveness
- 33 Halting problems
- 34 The Church–Turing Thesis
- 35 Proving the Thesis?
- 36 Looking back
- Further reading
- Bibliography
- Index
Summary
This chapter falls into three parts. We first introduce Gödel's simple but wonderfully powerful idea of associating the expressions of a formal theory with code numbers. In particular, we'll fix on a scheme for assigning code numbers first to expressions of LA and then to proof-like sequences of expressions. This double coding scheme will correlate various syntactic properties with purely numerical properties.
For example, take the syntactic property of being a term of LA. We can define a corresponding numerical property Term, where Term(n) holds just when n codes for a term. Likewise, we can define Atom(n), Wff(n), and Sent(n) which hold just when n codes for an atomic wff, a wff, or a closed wff (sentence) respectively. It will be easy to see that these numerical properties are primitive recursive ones.
More excitingly, we can define the numerical relation Prf (m, n) which holds just when m is the code number in our scheme of a PA-derivation of the sentence with number n. It will also be easy to see – at least in an informal way – that this relation too is primitive recursive.
The second part of the chapter introduces the idea of the diagonalization of a wff. This is the idea of taking a wff ϕ(y), and substituting (the numeral for) its own code number in place of the free variable.
- Type
- Chapter
- Information
- An Introduction to Gödel's Theorems , pp. 124 - 137Publisher: Cambridge University PressPrint publication year: 2007