Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Everyone here seems to consistently lie about this
Date: Fri, 2 Aug 2024 05:57:49 -0500
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <v8ie3d$2pju7$1@dont-email.me>
References: <v8hf52$2jl7d$1@dont-email.me> <v8i53r$2ncq1$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 02 Aug 2024 12:57:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="49c3b1279a491a49cbaeec74f647ee34";
	logging-data="2936775"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Jjo4yVloWBGjQPcjdnNuR"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vuf4OrsKdjJn4EK3ixNLdlWrr7U=
In-Reply-To: <v8i53r$2ncq1$2@dont-email.me>
Content-Language: en-US
Bytes: 3265

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.

> 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.

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