Re: UTM Theorem vs the identity function

From	olcott <polcott333@gmail.com>
Newsgroups	comp.theory
Subject	Re: UTM Theorem vs the identity function
Date	2025-10-21 21:51 -0500
Organization	A noiseless patient Spider
Message-ID	<10d9gr4$c16a$1@dont-email.me> (permalink)
References	<10d8cp6$26v9$1@dont-email.me> <10d8km3$ndh$1@reader2.panix.com> <10d9gl1$btl9$1@dont-email.me>

Show all headers | View raw

On 10/21/2025 9:48 PM, Tristan Wibberley wrote:
> On 21/10/2025 19:50, Pierre Asselin wrote:
>> 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.
> 

Gödel numbers totally hide the underlying semantics.

> 
> --
> 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

Thread

UTM Theorem vs the identity function Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-21 17:35 +0100
  Re: UTM Theorem vs the identity function pa@see.signature.invalid (Pierre Asselin) - 2025-10-21 18:50 +0000
    Re: UTM Theorem vs the identity function Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 03:48 +0100
      Re: UTM Theorem vs the identity function olcott <polcott333@gmail.com> - 2025-10-21 21:51 -0500
        Re: UTM Theorem vs the identity function Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 04:02 +0100
          Re: UTM Theorem vs the identity function --- Gödel olcott <polcott333@gmail.com> - 2025-10-21 22:35 -0500
      Re: UTM Theorem vs the identity function pa@see.signature.invalid (Pierre Asselin) - 2025-10-22 18:45 +0000
        Re: UTM Theorem vs the identity function Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-23 03:34 +0100
          Re: UTM Theorem vs the identity function pa@see.signature.invalid (Pierre Asselin) - 2025-10-23 18:50 +0000
  Re: UTM Theorem vs the identity function Mikko <mikko.levanto@iki.fi> - 2025-10-22 12:39 +0300
    Re: UTM Theorem vs the identity function Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 12:05 +0100
      Re: UTM Theorem vs the identity function Mikko <mikko.levanto@iki.fi> - 2025-10-23 11:12 +0300

csiph-web