Gödel's β function: Difference between revisions
No edit summary |
Luckas-bot (talk | contribs) m r2.7.1) (robot Adding: es:Función beta de Gödel |
||
Line 42: | Line 42: | ||
{{DEFAULTSORT:Godel's Β Function}} |
{{DEFAULTSORT:Godel's Β Function}} |
||
[[Category:Mathematical logic]] |
[[Category:Mathematical logic]] |
||
[[es:Función beta de Gödel]] |
Revision as of 14:51, 3 January 2011
In mathematical logic, Gödel's β function is a function used to permit quantification over finite sequences of natural numbers in formal theories of arithmetic. The β function is used, in particular, as a step in the extension of the language of Peano arithmetic to include all primitive recursive functions.
Definition
The β function takes three natural numbers as arguments. It is defined as follows (Mendelson 1997:186):
- β(x1, x2, x3) = rem(1 + (x3 + 1) · x2, x1).
Here the remainder function rem(x, y) takes two natural numbers as arguments and returns the natural number remainder when y is divided by x.
Properties
The β function is a primitive recursive function. It is representable in Robinson arithmetic and stronger theories such as Peano arithmetic.
The β lemma
The utility of the β function comes from the following result (Mendelson 1997:186), which is also due to Gödel.
- The β Lemma. For any sequence of natural numbers (k0, k1, ..., kn), there are natural numbers b and c such that, for every i ≤ n, β(b, c, i) = ki.
This follows from the Chinese remainder theorem.
See also
References
- Elliott Mendelson (1997). Introduction to Mathematical Logic (4th ed.). CRC Press. ISBN 0-412-80830-7.
External links
- Stephen Simpson, Foundations of Mathematics lecture notes, section 2.2.