Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: "Fred. Zwarts" <F.Zwarts@HetNet.nl>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows
Date: Tue, 11 Mar 2025 18:22:44 +0100
Organization: A noiseless patient Spider
Lines: 73
Message-ID: <vqprh5$2346o$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 11 Mar 2025 18:22:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="498a453c4082a707a378a4b79c5db4e6";
	logging-data="2199768"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ZdZIY651tHTkUwo0blz03"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:NyN3n/rFPRdI8mOOzFGMLmdzxUU=
Content-Language: nl, en-GB
In-Reply-To: <vqpqoi$22qmv$3@dont-email.me>
Bytes: 3330

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.