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: Re: No TM exists that can simulate all TM.
Date: Sat, 26 Oct 2024 01:22:29 +0800
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <b7863ee4a50dc6f4d6042364498713702d6e4037.camel@gmail.com>
References: <8378f81fb465a4d56d7c65b466790571c71a5c31.camel@gmail.com>
	 <3d1ce08f1c9740a732c629b83c562666ed7e7f03@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Injection-Date: Fri, 25 Oct 2024 19:22:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b5df77ba79fb920862782a9adfd6a0cf";
	logging-data="3424973"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19STFi/CUZhadFH45Xy65FI"
User-Agent: Evolution 3.50.2 (3.50.2-1.fc39)
Cancel-Lock: sha1:90+ffAxcr/IXFmeVgv/v+ZrZi5g=
In-Reply-To: <3d1ce08f1c9740a732c629b83c562666ed7e7f03@i2pn2.org>
Bytes: 1660

On Fri, 2024-10-25 at 17:15 +0000, joes wrote:
> Am Sat, 26 Oct 2024 01:12:00 +0800 schrieb wij:
>=20
> > Proof: Simulating self is not possible (from all real programs, every
> > one can verify).
> It is possible for a UTM to simulate itself simulating another program.
>=20
> > This also implies UTM does not exist.
> Since they do, your premise or deduction must be wrong.
>=20
> > Did Turing made a mistake?
> Probably not.
>=20

As said in the 'proof'. It seems you cannot verify (what you say) but recit=
ing
things you don't really understand?