Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Peter Olcott seems to consistently lie about this
Date: Fri, 2 Aug 2024 10:42:08 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <3e94d08ba5159028eacf31b367d410178bfe0181@i2pn2.org>
References: <v8hf52$2jl7d$1@dont-email.me> <v8i53r$2ncq1$2@dont-email.me>
 <v8ie3d$2pju7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 2 Aug 2024 14:42:08 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1215790"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v8ie3d$2pju7$1@dont-email.me>
Content-Language: en-US
Bytes: 3449
Lines: 56

On 8/2/24 6:57 AM, olcott wrote:
> On 8/2/2024 3:24 AM, Fred. Zwarts wrote:
>> Op 02.aug.2024 om 04:09 schreef olcott:
>>> *This algorithm is used by all the simulating termination analyzers*
>>> <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>
>>
>> No problem to agree with that. The only problem is that no correct 
>> simulation has been shown. So this does not help you.
>>
>>>
>>> DDD is correctly emulated by HHH according to the x86
>>> language semantics of DDD and HHH including when DDD
>>> emulates itself emulating DDD
>>>
>>> *UNTIL*
>>
>> Indeed, until it deviates from the semantics of the x86 language.
>>
>>>
>>> HHH correctly determines that never aborting this
>>> emulation would cause DDD and HHH to endlessly repeat.
>>
>> No, HHH thinks that two recursions is enough to decide that there is 
>> an infinite recursion, It fails to see that one cycle later the 
>> simulation would halt without abort.
> 
> You must be an actual moon.
> When every HHH waits on the next one none of them ever abort.

But HHH doesn't wait, and that is where you logic fails. You can't look 
at something that isn't the input you are given, and looking at the 
behavior when you change HHH does just that, since the code for THIS HHH 
is part of the input for this DDD.

You just don't know what a program actually is.

> 
>> So, the abort is premature. It skips the last few instructions of the 
>> program, hiding in this way that the simulation would halt.
>> In other words, HHH cannot possibly simulate itself correctly.
>>
>> Olcott really, really wants it to be correct, but he has no evidence 
>> for it, but he thinks that ignoring the errors that have been pointed 
>> out helps. He also thinks that repeating many times without evidence 
>> that it is correct will make it correct.
>> He keeps dreaming that the HHH that does not halt, plays a role in the 
>> simulation of a HHH that aborts and halts.
>> But dreams are no substitute for fact, nor for logic.
>