Book contents
- Frontmatter
- Contents
- Preface
- Thanks
- 1 What Gödel's Theorems say
- 2 Functions and enumerations
- 3 Effective computability
- 4 Effectively axiomatized theories
- 5 Capturing numerical properties
- 6 The truths of arithmetic
- 7 Sufficiently strong arithmetics
- 8 Interlude: Taking stock
- 9 Induction
- 10 Two formalized arithmetics
- 11 What Q can prove
- 12 IΔ0, an arithmetic with induction
- 13 First-order Peano Arithmetic
- 14 Primitive recursive functions
- 15 LA can express every p.r. function
- 16 Capturing functions
- 17 Q is p.r. adequate
- 18 Interlude: A very little about Principia
- 19 The arithmetization of syntax
- 20 Arithmetization in more detail
- 21 PA is incomplete
- 22 Gödel's First Theorem
- 23 Interlude: About the First Theorem
- 24 The Diagonalization Lemma
- 25 Rosser's proof
- 26 Broadening the scope
- 27 Tarski's Theorem
- 28 Speed-up
- 29 Second-order arithmetics
- 30 Interlude: Incompleteness and Isaacson's Thesis
- 31 Gödel's Second Theorem for PA
- 32 On the ‘unprovability of consistency’
- 33 Generalizing the Second Theorem
- 34 Löb's Theorem and other matters
- 35 Deriving the derivability conditions
- 36 ‘The best and most general version’
- 37 Interlude: The Second Theorem, Hilbert, minds and machines
- 38 μ-Recursive functions
- 39 Q is recursively adequate
- 40 Undecidability and incompleteness
- 41 Turing machines
- 42 Turing machines and recursiveness
- 43 Halting and incompleteness
- 44 The Church–Turing Thesis
- 45 Proving the Thesis?
- 46 Looking back
- Further reading
- Bibliography
- Index
15 - LA can express every p.r. function
- Frontmatter
- Contents
- Preface
- Thanks
- 1 What Gödel's Theorems say
- 2 Functions and enumerations
- 3 Effective computability
- 4 Effectively axiomatized theories
- 5 Capturing numerical properties
- 6 The truths of arithmetic
- 7 Sufficiently strong arithmetics
- 8 Interlude: Taking stock
- 9 Induction
- 10 Two formalized arithmetics
- 11 What Q can prove
- 12 IΔ0, an arithmetic with induction
- 13 First-order Peano Arithmetic
- 14 Primitive recursive functions
- 15 LA can express every p.r. function
- 16 Capturing functions
- 17 Q is p.r. adequate
- 18 Interlude: A very little about Principia
- 19 The arithmetization of syntax
- 20 Arithmetization in more detail
- 21 PA is incomplete
- 22 Gödel's First Theorem
- 23 Interlude: About the First Theorem
- 24 The Diagonalization Lemma
- 25 Rosser's proof
- 26 Broadening the scope
- 27 Tarski's Theorem
- 28 Speed-up
- 29 Second-order arithmetics
- 30 Interlude: Incompleteness and Isaacson's Thesis
- 31 Gödel's Second Theorem for PA
- 32 On the ‘unprovability of consistency’
- 33 Generalizing the Second Theorem
- 34 Löb's Theorem and other matters
- 35 Deriving the derivability conditions
- 36 ‘The best and most general version’
- 37 Interlude: The Second Theorem, Hilbert, minds and machines
- 38 μ-Recursive functions
- 39 Q is recursively adequate
- 40 Undecidability and incompleteness
- 41 Turing machines
- 42 Turing machines and recursiveness
- 43 Halting and incompleteness
- 44 The Church–Turing Thesis
- 45 Proving the Thesis?
- 46 Looking back
- Further reading
- Bibliography
- Index
Summary
The built-in resources of LA– the first-order language of basic arithmetic which we first introduced in Section 5.2 – are minimal: there are no non-logical predicates, and just three primitive functions, successor, addition and multiplication.
We have previously noted, though, a few examples of what else LAcan express (‘express’ in the sense of Section 5.4). We now radically extend our list of examples by proving that LAcan in fact express any primitive recursive function.
Starting the proof
Our target, then, is to prove
Theorem 15.1 Every p.r. function can be expressed in LA.
The proof strategy Suppose that the following three propositions are all true:
LAcan express the initial functions.
If LAcan express the functions g and h, then it can also express a function f defined by composition from g and h.
If LAcan express the functions g and h, then it can also express a function f defined by primitive recursion from g and h.
Now, any p.r. function f must be specifiable by a chain of definitions by composition and/or primitive recursion, building up from initial functions. So as we follow through the full chain of definitions which specifies f, we start with initial functions which are expressible in LA, by (1). By (2) and (3), each successive definitional move takes us from expressible functions to expressible functions. So, given (1) to (3) are true, f must therefore also be expressible in LA.
- Type
- Chapter
- Information
- An Introduction to Gödel's Theorems , pp. 113 - 118Publisher: Cambridge University PressPrint publication year: 2013