Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: HHH(DD) does correctly reject its input as non-halting ---
 VERIFIED FACT +++
Date: Sat, 14 Jun 2025 14:43:05 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <dc62ba91ea88ca28a670409ef7a2e4049f043a87@i2pn2.org>
References: <102es19$2ohps$6@dont-email.me> <102gu1r$3cjca$1@dont-email.me>
 <102hfmt$3gqbm$2@dont-email.me> <102jmhg$5i1i$1@dont-email.me>
 <102jurt$793t$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 14 Jun 2025 19:05:58 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="507190"; 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: <102jurt$793t$4@dont-email.me>
Content-Language: en-US

On 6/14/25 9:53 AM, olcott wrote:
> On 6/14/2025 6:30 AM, Mikko wrote:
>> On 2025-06-13 15:22:04 +0000, olcott said:
>>
>>> On 6/13/2025 5:20 AM, Mikko wrote:
>>>> On 2025-06-12 15:34:01 +0000, olcott said:
>>>>
>>>>> int DD()
>>>>> {
>>>>>    int Halt_Status = HHH(DD);
>>>>>    if (Halt_Status)
>>>>>      HERE: goto HERE;
>>>>>    return Halt_Status;
>>>>> }
>>>>>
>>>>> It is a verified fact that DD() *is* one of the forms
>>>>> of the counter-example input as such an input would
>>>>> be encoded in C. Christopher Strachey wrote his in CPL.
>>>>>
>>>>> // rec routine P
>>>>> //   §L :if T[P] go to L
>>>>> //     Return §
>>>>> // https://academic.oup.com/comjnl/article/7/4/313/354243
>>>>> void Strachey_P()
>>>>> {
>>>>>    L: if (HHH(Strachey_P)) goto L;
>>>>>    return;
>>>>> }
>>>>>
>>>>> https://academic.oup.com/comjnl/article-abstract/7/4/313/354243? 
>>>>> redirectedFrom=fulltext
>>>>>
>>>>> It *is* a verified fact DD correctly simulated by HHH cannot
>>>>> possibly reach its own "return" statement final halt state
>>>>> because the input to HHH(DD) specifies recursive simulation.
>>>>
>>>> False. It is not the reursive simulation that prevents the reaching
>>>> the simulation of the "return" statement. Instead, previention is
>>>> a consequence of the discontinuation of the simulation that the
>>>> input specifies.
>>>
>>> When you try to prove this by providing ALL of the
>>> details you will find that you are incorrect.
>>
>> I don't need to prove anything. It is sufficient to point out that
>> you have not proven anything. For this discussion a sufficient
>> proof that HHH aborts is simulation is that you have said it does.
>>
> 
> This code proves everything that I claimed beyond all possible doubt
> https://github.com/plolcott/x86utm/blob/master/Halt7.c

It proves that everything you say is just a lie.

> 
> Mike verified everything that I claimed from this code except the
> very last step of my proof. Mike demonstrated the non-halting behavior
> pattern for infinite loops. He might understand the non-halting
> behavior patterns for infinite recursion.
> 
> The only thing left is understanding the non-halting behavior
> pattern of recursive simulation.
> 

But the problem is, the conditional recursive simulation pattern that 
you create is NOT non-halting, you just need to lie about it by 
confounding two different programs as being the same.