Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: No TM exists that can simulate all TM.
Date: Sat, 26 Oct 2024 10:56:55 +0300
Organization: -
Lines: 20
Message-ID: <vfi7c7$3ksd0$1@dont-email.me>
References: <8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 26 Oct 2024 09:56:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ceca57aa9cd2f8b0738fdd62214a72ea";
	logging-data="3830176"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+zSFMvg3UCwrBqypYBy7at"
User-Agent: Unison/2.2
Cancel-Lock: sha1:CgaL4IVG+64GLWTpdRDoWYdgm0c=
Bytes: 1349

On 2024-10-25 17:12:00 +0000, wij said:

> Proof: Simulating self is not possible (from all real programs, every 
> one can verify).

The starting point of that proof is false. An universal Turing machine
that can simulate any Turing machine, including itself, can be and has
been constructed.

> This also implies UTM does not exist.

Existence of an UTM prooves otherwise.

> Did Turing made a mistake?

Somebody did.

-- 
Mikko