Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Why Peter Olcott is proven correct by honest reviewers
Date: Sun, 18 May 2025 11:55:29 +0200
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <100caqh$ublb$1@dont-email.me>
References: <KA9WP.124192$vK4b.46873@fx09.ams4> <100bbr4$le1d$1@dont-email.me>
 <100bfem$ppkh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 18 May 2025 11:55:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c28b6652cb4717678123448df37d68ca";
	logging-data="994987"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+JjfMS89xkcyP4iCVPJ3EH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:k84PcUKRSUCSjAidd8YLsxXJ9fI=
Content-Language: en-GB
In-Reply-To: <100bfem$ppkh$1@dont-email.me>

Op 18.mei.2025 om 04:08 schreef olcott:
> On 5/17/2025 8:06 PM, Mike Terry wrote:
>> On 18/05/2025 01:11, Mr Flibble wrote:
>>> Hi!
>>>
>>> In the case of pathological input, Peter's SHD only needs to report a
>>> correct halting result *as if* the simulation was run to completion:
>>
>> Right.  If the simulation is run to completion, that's like a UTM 
>> simulating the input, and equivalent to asking whether the input 
>> halts. This is the case for all inputs, not just "pathological" ones, 
>> whatever they are exactly.
>>
>> PO's DD() calls an "embedded HHH" which aborts its simulation.  If 
>> that DD is simulated to completion it halts, 
> 
> Deceptive wording.
> DDD simulated by HHH has no completion.
> 

Counterfactual and deceptive wording.
Counterfactual, because HHH aborts and in this strange incorrect way 
completes its simulation.
Deceptive, because 'has no completion', does not mean has no end. It has 
an end, because the simulation is aborted.
The code to abort is specified in the input finite string given to HHH.
So, when HHH does not complete the simulation, it fails to reach the 
reachable end.
Stop dreaming of an infinite recursion. There is no infinite recursion 
when the code includes the abort. Instead of dreams, look at the facts. 
Come out of rebuttal mode.