On 21/10/2025 19:50, Pierre Asselin wrote:Gödel numbers totally hide the underlying semantics.Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote:* u is a computable function;That damned wikipedia again. It didn't constrain e to Goedel numbers.
* 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 ?
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.
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
| 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.