Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote:
* u is a computable function;
* f is a computable function;
* e is the Gödel number of a Turing machine that computes f.
How can e and f be equal ?
That damned wikipedia again. It didn't constrain e to Goedel numbers.
There appears to be a trend of having wikipedia leave out key
constraints thus making its statements about formalised things be
universally qualified when they shouldn't be and therefore untrue.
--
Tristan Wibberley
The message body is Copyright (C) 2025 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.
| 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.