That damned wikipedia again. It didn't constrain e to Goedel numbers.
Quoting from the Wikipedia article "UTM theorem":
The theorem states that a partial computable function u of
two variables exists such that, for every computable function
f of one variable, a Goedel number e exists such that f (
x ) ? u ( e , x ) {\displaystyle f(x)\simeq u(e,x)} for
all x.
Notice the phrase "a Goedel number e". Were you reading some other
article?
--
pa at panix dot com
This self-referential copyright notice is in the public domain.
| Date | Sujet | # | Auteur | |
| 21 Oct 25 |  UTM Theorem vs the identity function | 12 | Tristan Wibberley | |
| 21 Oct 25 |  Re: UTM Theorem vs the identity function | 8 | Pierre Asselin | |
| 22 Oct 25 |   Re: UTM Theorem vs the identity function | 7 | Tristan Wibberley | |
| 22 Oct 25 |  Re: UTM Theorem vs the identity function | 3 | olcott | |
| 22 Oct 25 | Re: UTM Theorem vs the identity function | 2 | Tristan Wibberley | |
| 22 Oct 25 |  Re: UTM Theorem vs the identity function --- Gödel | 1 | olcott | |
| 22 Oct 25 | Re: UTM Theorem vs the identity function | 3 | Pierre Asselin | |
| 23 Oct 25 | Re: UTM Theorem vs the identity function | 2 | Tristan Wibberley | |
| 23 Oct 25 | Re: UTM Theorem vs the identity function | 1 | Pierre Asselin | |
| 22 Oct 25 | Re: UTM Theorem vs the identity function | 3 | Mikko | |
| 22 Oct 25 | Re: UTM Theorem vs the identity function | 2 | Tristan Wibberley | |
| 23 Oct 25 | Re: UTM Theorem vs the identity function | 1 | Mikko |
Les messages affichés proviennent d'usenet.