Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows
Date: Tue, 11 Mar 2025 15:10:45 -0500
Organization: A noiseless patient Spider
Lines: 102
Message-ID: <vqq5c5$24m6v$4@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqpp41$22f7d$1@dont-email.me>
 <vqpqoi$22qmv$3@dont-email.me> <vqprh5$2346o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Mar 2025 21:10:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="350e987cc9d67c4a256c8784961aa56f";
	logging-data="2250975"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+sDA6nAyKErEI7xtM4errJ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:gILgJ1JcYla4p7gA1ulhoB1sw0w=
X-Antivirus-Status: Clean
In-Reply-To: <vqprh5$2346o$1@dont-email.me>
X-Antivirus: Norton (VPS 250311-4, 3/11/2025), Outbound message
Content-Language: en-US

On 3/11/2025 12:22 PM, Fred. Zwarts wrote:
> Op 11.mrt.2025 om 18:09 schreef olcott:
>> On 3/11/2025 11:41 AM, Fred. Zwarts wrote:
>>> Op 11.mrt.2025 om 14:31 schreef olcott:
>>>> On 3/11/2025 5:28 AM, Mikko wrote:
>>>>> On 2025-03-10 23:41:13 +0000, olcott said:
>>>>>
>>>>>> typedef void (*ptr)();
>>>>>> int HHH(ptr P);
>>>>>>
>>>>>> void Infinite_Loop()
>>>>>> {
>>>>>>    HERE: goto HERE;
>>>>>>    return;
>>>>>> }
>>>>>>
>>>>>> void Infinite_Recursion()
>>>>>> {
>>>>>>    Infinite_Recursion();
>>>>>>    return;
>>>>>> }
>>>>>>
>>>>>> void DDD()
>>>>>> {
>>>>>>    HHH(DDD);
>>>>>>    return;
>>>>>> }
>>>>>>
>>>>>> int DD()
>>>>>> {
>>>>>>    int Halt_Status = HHH(DD);
>>>>>>    if (Halt_Status)
>>>>>>      HERE: goto HERE;
>>>>>>    return Halt_Status;
>>>>>> }
>>>>>>
>>>>>> That when HHH correctly emulates N steps of the
>>>>>> above functions that none of these functions can
>>>>>> possibly reach their own "return" instruction
>>>>>> and terminate normally.
>>>>>
>>>>> Every competent programmer knows that the information given is
>>>>> insufficient to determine whether HHH emulates at all, and whether
>>>>> it emulates correctly if it does.
>>>>>
>>>>>> Since HHH does see that same pattern that competent
>>>>>> C programmers see it correctly aborts its emulation
>>>>>> and rejects these inputs as non terminating.
>>>>>
>>>>> Whether HHH does see those patterns cannot be inferred from the 
>>>>> information
>>>>> given. Only about DDD one can see that it halts if HHH returns. In 
>>>>> addition,
>>>>> the given information does not tell whether HHH can see patterns 
>>>>> that are
>>>>> not there.
>>>>>
>>>>> How many competent programmers you have asked?
>>>>>
>>>>
>>>> Two C programmers with masters degrees in computer science
>>>> agree that DDD correctly emulated by HHH cannot possibly
>>>> reach its own "return" instruction and terminate normally.
>>>>
>>>
>>> It is clear that that HHH cannot possibly simulate itself up to the end.
>>
>> I say that the cat is black and you say
>> No you are wrong because the dog is white.
>>
> 
> Cats and dogs are irrelevant.
> We are talking about HHH, for which it is clear that it cannot possibly 
> correctly end the simulation.

*Lack of sufficient competence on your part*

void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}

void Infinite_Recursion()
{
   Infinite_Recursion();
   return;
}

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

When HHH correctly emulates N steps of the
above functions none of them can possibly reach
their own "return" instruction and terminate normally.

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