Gödel’s beta function
Gödel’s function is the tool needed to express in a formal theory Z assertions about finite sequences
of natural numbers
. (For a description of Z see the PM entry "beyond formalism: Gödel’s incompleteness
" (http://planetmath.org/BeyondFormalism)).
Let
be a sequence of natural numbers. Then there is the factorial such that
This means that the factorial is divided by each of the elements of
so that we can build the derived sequence
Definition 1 [Gödel’s sequence]
If we denote by then the elements of Gödel’s sequence are the numbers of the form
Its general representation is
Theorem 1:
The elements of are pairwise relatively prime.
Proof: (Reductio)
- 1.
We assume the existence of a prime number
such that divides
and divides also
- 2.
This gives by definition the congruence
- 3.
Therefore divides
- 4.
Then divides
that is, divides .
- 5.
But
Case I: Assume
- 1.
- 2.
But by hypothesis
:
- 3.
Therefore:
Case II: Assume
- 1.
- 2.
But
- 3.
Case I.3. and Case II.3. are the desired contradiction.
Definition 2: [Gödel’s function]
If and are natural numbers then the function
computes the rest of the division of by a term
of the -sequence.
Therefore:
Theorem 2: [Sequences of natural numbers are representable by the function.]
Proof:
- 1.
Let
be a sequence of natural numbers.
- 2.
Then there is a number such that
- 3.
If
- 4.
Then
- 5.
But by the previous proposition
the numbers
are pairwise relatively prime.
- 6.
This implies that the simultaneous congruences
have a common solution , by the chinese remainder theorem
.
- 7.
Therefore
- 8.
This means that
- 9.
But that is
It is easily seen that the function is primitive recursive.
For that we only have to redenominated and as:
Then .
But the functions "+", "" e "" are primitive recursive.
Therefore is primitive recursive.
References
- 1 Bernays, P., Hilbert, D., Grundlagen der Mathematik, 2.Auflage, Berlin, 1968.
- 2 Gödel, K., Collected works, ed. S. Feferman, Oxford, 1987-2003.
- 3 Kleene, S., Introduction to metamathematics
, North-Holland, Amsterdam, 1964.