Sujet : Re: UTM Theorem vs the identity function
De : tristan.wibberley+netnews2 (at) *nospam* alumni.manchester.ac.uk (Tristan Wibberley)
Groupes : comp.theoryDate : 22. Oct 2025, 12:05:40
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <10dadq4$im41$1@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 22/10/2025 10:39, Mikko wrote:
[something] is missing
from the above. Without further deails the above simply says that
u(e, x) does not depend on e, i.e., that it has the same value f(x)
for every e. But that has nothing to do with any theorem about UTM's.
The description I read, from wikipedia, did not include the constraint
that e is a Goedel number. I corrected that element.
-- Tristan WibberleyThe message body is Copyright (C) 2025 Tristan Wibberley exceptcitations 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.
Haut de la page
Les messages affichés proviennent d'usenet.
NewsPortal