Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
 met --- Mike's key mistake
Date: Fri, 16 May 2025 15:29:18 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <100876u$3tu2i$1@dont-email.me>
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>
 <1003cu5$2p3g1$1@dont-email.me> <1003dir$2p2so$2@dont-email.me>
 <1004h1m$331gh$4@dont-email.me> <1006igb$3joc3$1@dont-email.me>
 <10085ru$3tr3u$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 16 May 2025 22:29:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a793c50ac46b1404361ae4f1062ef558";
	logging-data="4126802"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX186Zyp+EftWNh70t50kW/iL"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:/DjZT7cpa3rASzG8AEbbEzWNLlU=
X-Antivirus: Norton (VPS 250516-6, 5/16/2025), Outbound message
In-Reply-To: <10085ru$3tr3u$3@dont-email.me>
Content-Language: en-US
X-Antivirus-Status: Clean

On 5/16/2025 3:06 PM, Fred. Zwarts wrote:
> Op 16.mei.2025 om 07:29 schreef olcott:
>> *Not at all. I am following these exact words*
>> <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>      If simulating halt decider H correctly simulates its
>>      input D until H correctly determines that its simulated D
>>      would never stop running unless aborted then
>>
>>      H can abort its simulation of D and correctly report that D
>>      specifies a non-halting sequence of configurations.
>> </MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>>
>> On 5/14/2025 7:36 PM, Mike Terry wrote:
>> Shows exactly how to implement those words to implement
>> a correct Simulating Termination Analyzer. Mike provides
>> a complete example of how this works.
>>
>>
> 
> 
> Sipser agreed to a vacuous statement, because the condition 'correctly 
> simulates' was not met.

And by this you mean that when the spec requires
a partial simulation

*until H correctly determines that its simulated D*
*would never stop running unless aborted*

You "interpret" this to mean that it must
infinitely simulate non-terminating inputs.

> In addition, apparently you do not understand what I said, because you 
> do not bring anything against it.

I only address one point at a time because I found
that almost all of my reviewers get totally confused
even on one single point.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer