Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: How the requirements that Professor Sipser agreed to are exactly
 met --- WDH
Date: Thu, 15 May 2025 12:47:35 +0200
Organization: A noiseless patient Spider
Lines: 38
Message-ID: <1004go8$331gh$3@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>
 <9ddc882256862ab48cce9faa371f3f578a6b379a@i2pn2.org>
 <1002bqd$2i4bk$6@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 15 May 2025 12:47:37 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f01669ad5be46e37f414bf63360950cd";
	logging-data="3245585"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19XELnRn2/0YcUFiaq12Ozg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9CtdqV+1/dxPrJGFIsrhitbjVmc=
Content-Language: nl, en-GB
In-Reply-To: <1002bqd$2i4bk$6@dont-email.me>

Op 14.mei.2025 om 17:11 schreef olcott:
> On 5/14/2025 9:32 AM, joes wrote:
>> Am Tue, 13 May 2025 20:27:54 -0500 schrieb olcott:
>>> On 5/13/2025 8:07 PM, dbush wrote:
>>>> On 5/13/2025 5:30 PM, olcott wrote:
>>>>> On 5/13/2025 6:43 AM, Richard Damon wrote:
>>>>>> On 5/13/25 12:52 AM, olcott wrote:
>>
>>>>>>> If my logic was based on lies and equivocation then you could
>>>>>>> provide actual reasoning that corrects my errors.
>>>>>>
>>>>>> I hae.
>> *crickets.
>>
>>>>>>> It is truism that simulating termination analyzers must report on
>>>>>>> the behavior of their input as if they themselves never aborted this
>>>>>>> simulation:
>> They themselves, but not the HHH called by the input.
>>
> 
> <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
> 
> void DDD()
> {
>    HHH(DDD);
>    return;
> }
> 
> HHH(DDD) must report on what the behavior of DDD would
> be if this same HHH never aborted.
No, HHH must report on the behaviour specified in the actual input, not 
the hypothetical one that is not present.
sum(3,2) must use the actual input, not the hypothetical 4 and 5.
No the simulation is incorrect and Sipser agreed to a vacuous statement, 
because the condition of a correct simulation is not present