Path: csiph.com!weretis.net!feeder9.news.weretis.net!panix!.POSTED.2602:f977:0:1::1!not-for-mail From: pa@see.signature.invalid (Pierre Asselin) Newsgroups: comp.theory Subject: Re: UTM Theorem vs the identity function Date: Thu, 23 Oct 2025 18:50:45 -0000 (UTC) Organization: PANIX Public Access Internet and UNIX, NYC Message-ID: <10ddte5$mtf$1@reader2.panix.com> 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> <10dc48a$14plo$1@dont-email.me> Injection-Date: Thu, 23 Oct 2025 18:50:45 -0000 (UTC) Injection-Info: reader2.panix.com; posting-host="2602:f977:0:1::1"; logging-data="23471"; mail-complaints-to="abuse@panix.com" User-Agent: tin/2.6.4-20241224 ("Helmsdale") (NetBSD/10.1 (amd64)) Xref: csiph.com comp.theory:133553 Tristan Wibberley wrote: > 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. So you did! Good for you. Thanks. -- pa at panix dot com