Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Sat, 5 Apr 2025 19:35:05 -0500
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <vssi7p$3ipb5$3@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me>
 <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Apr 2025 02:35:06 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ef4cc0d21fd1ecbcf29cd91ea99c5a02";
	logging-data="3761509"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+j3T+Vx4q5zGyw3g3aMRTi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:QmS8IctZk0PuYbUf072looWSRpo=
X-Antivirus: Norton (VPS 250405-6, 4/5/2025), Outbound message
In-Reply-To: <vssavl$3b2j0$3@dont-email.me>
Content-Language: en-US
X-Antivirus-Status: Clean
Bytes: 2698

On 4/5/2025 5:31 PM, Richard Heathfield wrote:
> On 05/04/2025 23:20, olcott wrote:
>> On 4/5/2025 4:58 PM, Richard Heathfield wrote:
> 
> <snip>
> 
>>> hp(arg candidate, arg testdata)
>>> {
>>>    if(terminates(candidate(testdata)))
>>>    {
>>>      while(forever);
>>>    }
>>>    else
>>>    {
>>>      halt;
>>>    }
>>> }
>>>
>>> We then invoke the program:
>>>
>>> hp(hp, hp)
>>>
>>> and try to predict what terminates() will report, and of course the 
>>> answer is that we don't know, because neither does terminates(). The 
>>> function cannot be written.
>>>
>>
>> Understanding my simpler example was a mandatory
>> prerequisite
> 
> No, it wasn't.
> 
> Understanding my example isn't mandatory either, which is just as well 
> where you're concerned.
> 
>> int DD()
>> {
>>    int Halt_Status = HHH(DD);
>>    if (Halt_Status)
>>      HERE: goto HERE;
>>    return Halt_Status;
>> }
> 
> That's fine, but it does beg the HHH() question. You are handwaving it 
> for the same reason I am, which is that it can't be written. The 
> difference between us is that I know it and you don't.
> 

HHH(DDD) is isomorphic to HHH(DD), yet failing
to understand that HHH(DDD) meets the
*Simulating termination analyzer Principle*
prevents the significance of this from being seen.

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