Path: ...!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: wij <wyniijj5@gmail.com>
Newsgroups: comp.theory
Subject: No TM exists that can simulate all TM.
Date: Sat, 26 Oct 2024 01:12:00 +0800
Organization: A noiseless patient Spider
Lines: 9
Message-ID: <8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Fri, 25 Oct 2024 19:12:01 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b5df77ba79fb920862782a9adfd6a0cf";
	logging-data="3424973"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/d5X/4em6sf6EB+P3KedHW"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:71sA47ks3S03Hsv3+yvMwJnU3A4=
Bytes: 1112

Proof: Simulating self is not possible (from all real programs, every one c=
an verify).

This also implies UTM does not exist.

Did Turing made a mistake?
https://en.wikipedia.org/wiki/Universal_Turing_machine