Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly met --- WDH
Date: Wed, 14 May 2025 16:43:08 -0700
Organization: None to speak of
Lines: 20
Message-ID: <878qmyahdf.fsf@nosuchdomain.example.com>
References: <vvte01$14pca$29@dont-email.me>
	<fceb852a146ff7238c5be7a0adf420474a8fb5df@i2pn2.org>
	<vvuc7a$1deu5$5@dont-email.me>
	<c5a47349d8625838f1ee2782c216e0ebf9223bc6@i2pn2.org>
	<vvuj6l$1j6s0$3@dont-email.me>
	<b78af2e0b52f178683b672b45ba1bc2012023aaf@i2pn2.org>
	<1000dlc$21dtc$5@dont-email.me> <1000qdb$24gr3$4@dont-email.me>
	<1000rir$24jh0$3@dont-email.me> <1000rqc$24gr3$7@dont-email.me>
	<1000son$24sr2$3@dont-email.me>
	<7947826fb84c9c8db49c392b305d395c3669907f@i2pn2.org>
	<1002dre$2i4bk$14@dont-email.me> <1002vp2$2mbr6$3@dont-email.me>
	<10030c3$2mivc$3@dont-email.me>
	<87h61mang3.fsf@nosuchdomain.example.com>
	<100348f$2mtsb$7@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Thu, 15 May 2025 01:43:09 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5a831048c3367e529229a64cc925cf0c";
	logging-data="2901297"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX190D81quMZMBC+5ESa1kSNy"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:TPo/9ITvmpEyQdmmQKe2K9Nm2Vs=
	sha1:b4Xo6CrLxAPgLm68jtHFcdiS7Uw=

olcott <polcott333@gmail.com> writes:
[...]
> HHH does correctly simulate DDD until
> HHH correctly determines that its simulated DDD
> would never stop running unless aborted.
[...]

And my understanding is that it is mathematically impossible for HHH
to do what you claim it does, and that that fact is consistent with
Sipser's supposed agreement.  Sipser "agreed" with somthing similar
to the 4-sided triangle example I recently posted.  You snipped
that example, which is unusual for you, your posts typically include
hundreds of lines of quoted text from previous posts.

And it's still entirely possible that I've missed something.
I'm waiting for someone whose judgement I trust to comment.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */