|WikiProject Mathematics||(Rated Start-class, Low-priority)|
Could the Title not be writen as ?
- I don't think so - due to technical restrictions sub- and superscripts are not presently possible. --Kizor 12:07, 24 November 2005 (UTC)
merged version by Math MArtin
Given a Gödel numbering
The following sentences from the scetion "Details" strike me as superfluous.
To generalize the theorem, choose a scheme for encoding n numbers as one number, so that the original numbers can be extracted by primitive recursive functions. For example, one might interleave the bits of the numbers.
In fact, the remainder of the section does not use any encoding scheme for numbers, just the usual Gödel numbering of computable functions.
Another remark: the section "Example" isn't an example at all. LISP is not a language of functions from (tuples of) natural numbers to natural numbers, and certainly not a language of primitive recursive functions. While it can operate on values representing LISP source code, this is not an example of Gödel numbering at all. I think the trivial implementation given is more misleading than illustrative, since the actual proof if the theorem (essentially the construction of the requested primitive recursive function) is far more complicated than the example suggests. Marc van Leeuwen (talk) 13:14, 1 March 2012 (UTC)