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: Overview of proof that the input to HHH(DDD) specifies
 non-halting behavior --- Mike
Date: Tue, 13 Aug 2024 08:04:17 -0500
Organization: A noiseless patient Spider
Lines: 43
Message-ID: <v9flkh$3se8c$3@dont-email.me>
References: <v9edol$3metk$1@dont-email.me> <v9fe61$3rqao$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 13 Aug 2024 15:04:18 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="5789d119f15570941a39cdb59159ffa5";
	logging-data="4077836"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+BtQDAw5Mu2Ktm9WVCNQHg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8M0/T9zYt8l/UrVOt4HnNlb/jiw=
Content-Language: en-US
In-Reply-To: <v9fe61$3rqao$1@dont-email.me>
Bytes: 2626

On 8/13/2024 5:57 AM, Mikko wrote:
> On 2024-08-13 01:43:49 +0000, olcott said:
> 
>> We prove that the simulation is correct.
>> Then we prove that this simulation cannot possibly
>> reach its final halt state / ever stop running without being aborted.
>> The semantics of the x86 language conclusive proves this is true.
>>
>> Thus when we measure the behavior specified by this finite
>> string by DDD correctly simulated/emulated by HHH it specifies
>> non-halting behavior.
>>
>> https://www.researchgate.net/ 
>> publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
> 
> Input to HHH(DDD) is DDD. If there is any other input then the proof is
> not interesting.
> 
> The behviour specified by DDD on the first page of the linked article
> is halting if HHH(DDD) halts. Otherwise HHH is not interesting.
> 
> Any proof of the false statement that "the input to HHH(DDD) specifies
> non-halting behaviour" is either uninteresting or unsound.
> 

void DDD()
{
   HHH(DDD);
   return;
}

It is true that DDD correctly emulated by any HHH cannot
possibly reach its own "return" instruction final halt state.

It is true that anyone that cannot understand this is true
has insufficient technical competence.

Mike seems to be the only one that may have sufficient
technical competence. Ben agreed to something similar.

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