Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #133471

Re: UTM Theorem vs the identity function

From Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
Newsgroups comp.theory
Subject Re: UTM Theorem vs the identity function
Date 2025-10-23 03:34 +0100
Organization A noiseless patient Spider
Message-ID <10dc48a$14plo$1@dont-email.me> (permalink)
References <10d8cp6$26v9$1@dont-email.me> <10d8km3$ndh$1@reader2.panix.com> <10d9gl1$btl9$1@dont-email.me> <10db8o2$tr$1@reader2.panix.com>

Show all headers | View raw

On 22/10/2025 19:45, Pierre Asselin wrote:
> Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> wrote:
> 
>> That damned wikipedia again. It didn't constrain e to Goedel numbers.
> 
> Quoting from the Wikipedia article "UTM theorem":
[snip]
> Notice the phrase "a Goedel number e". Were you reading some other
> article?


Yes, I was reading the slightly different article that was at the same
location 24 hours earlier, some hours before I adjusted it to show the
words "a Goedel number" that you quoted after having been educated on
the matter in your message news:10d8cp6$26v9$1@dont-email.me.

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

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

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