Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #133392
| Path | csiph.com!weretis.net!feeder9.news.weretis.net!panix!.POSTED.2602:f977:0:1::2!not-for-mail |
|---|---|
| From | pa@see.signature.invalid (Pierre Asselin) |
| Newsgroups | comp.theory |
| Subject | Re: UTM Theorem vs the identity function |
| Date | Wed, 22 Oct 2025 18:45:22 -0000 (UTC) |
| Organization | PANIX Public Access Internet and UNIX, NYC |
| Message-ID | <10db8o2$tr$1@reader2.panix.com> (permalink) |
| References | <10d8cp6$26v9$1@dont-email.me> <10d8km3$ndh$1@reader2.panix.com> <10d9gl1$btl9$1@dont-email.me> |
| Injection-Date | Wed, 22 Oct 2025 18:45:22 -0000 (UTC) |
| Injection-Info | reader2.panix.com; posting-host="2602:f977:0:1::2"; logging-data="955"; mail-complaints-to="abuse@panix.com" |
| User-Agent | tin/2.6.4-20241224 ("Helmsdale") (NetBSD/10.1 (amd64)) |
| Xref | csiph.com comp.theory:133392 |
Show key headers only | View raw
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":
The theorem states that a partial computable function u of
two variables exists such that, for every computable function
f of one variable, a Goedel number e exists such that f (
x ) ? u ( e , x ) {\displaystyle f(x)\simeq u(e,x)} for
all x.
Notice the phrase "a Goedel number e". Were you reading some other
article?
--
pa at panix dot com
This self-referential copyright notice is in the public domain.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll 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