Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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.theory
Subject: Re: Every sufficiently competent C programmer knows --- Very Stupid
 Mistake and Liars
Date: Wed, 12 Mar 2025 10:37:52 -0500
Organization: A noiseless patient Spider
Lines: 90
Message-ID: <vqs9oh$2lqb2$2@dont-email.me>
References: <vqntaq$1jut5$1@dont-email.me> <vqp388$1tvqa$1@dont-email.me>
 <vqpdv9$202b2$2@dont-email.me> <vqperb$20c9k$2@dont-email.me>
 <E6mcnWv3nMa66036nZ2dnZfqnPWdnZ2d@brightview.co.uk>
 <vqqnk5$28jtr$1@dont-email.me> <vqqonm$28lh2$1@dont-email.me>
 <vqqq09$28kp8$1@dont-email.me> <vqqq7s$29buv$2@dont-email.me>
 <vqqqu3$28kp8$2@dont-email.me> <vqqrl7$29meg$2@dont-email.me>
 <vqqror$29k3n$1@dont-email.me> <vqqrv9$29meg$4@dont-email.me>
 <vqqs14$29k3n$3@dont-email.me> <vqqs5j$29meg$6@dont-email.me>
 <vqrkav$2h4l2$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Mar 2025 16:37:53 +0100 (CET)
Injection-Info: dont-email.me; posting-host="732aa2dbf98258db54fe29c769638485";
	logging-data="2812258"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/S3TsHBL6e6G9EbV3KT9lH"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:WTOtuVcm/XEaYoeKKd/6hx9zq/k=
X-Antivirus-Status: Clean
Content-Language: en-US
X-Antivirus: Norton (VPS 250312-2, 3/12/2025), Outbound message
In-Reply-To: <vqrkav$2h4l2$3@dont-email.me>
Bytes: 4542

On 3/12/2025 4:32 AM, Fred. Zwarts wrote:
> Op 12.mrt.2025 om 03:39 schreef olcott:
>> On 3/11/2025 9:37 PM, dbush wrote:
>>> On 3/11/2025 10:36 PM, olcott wrote:
>>>> On 3/11/2025 9:32 PM, dbush wrote:
>>>>> On 3/11/2025 10:31 PM, olcott wrote:
>>>>>> On 3/11/2025 9:18 PM, dbush wrote:
>>>>>>> On 3/11/2025 10:06 PM, olcott wrote:
>>>>>>>> On 3/11/2025 9:02 PM, dbush wrote:
>>>>>>>>> On 3/11/2025 9:41 PM, Richard Heathfield wrote:
>>>>>>>>>> On 12/03/2025 01:22, olcott wrote:
>>>>>>>>>>> DDD correctly simulated by HHH never reaches its
>>>>>>>>>>> own "return" instruction and terminates normally
>>>>>>>>>>> in any finite or infinite number of correctly
>>>>>>>>>>> simulated steps.
>>>>>>>>>>
>>>>>>>>>> If it correctly simulates infinitely many steps, it doesn't 
>>>>>>>>>> terminate. Look up "infinite".
>>>>>>>>>>
>>>>>>>>>> But your task is to decide for /any/ program, not just DDD. 
>>>>>>>>>> That, as you are so fond of saying, is 'stipulated', and you 
>>>>>>>>>> can't get out of it. The whole point of the 
>>>>>>>>>> Entscheidungsproblem is its universality. Ignore that, and you 
>>>>>>>>>> have nothing.
>>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> Given that his code has HHH(DD) returning 0, 
>>>>>>>>
>>>>>>>> THESE ARE THE WORDS ANYONE THAT DODGES THESE
>>>>>>>> WORDS WILL BE TAKEN FOR A LIAR
>>>>>>>>
>>>>>>>> void DDD()
>>>>>>>> {
>>>>>>>>    HHH(DDD);
>>>>>>>>    return;
>>>>>>>> }
>>>>>>>>
>>>>>>>> DDD correctly simulated by HHH never reaches its
>>>>>>>> own "return" instruction and terminates normally
>>>>>>>> in any finite or infinite number of correctly
>>>>>>>> simulated steps.
>>>>>>>>
>>>>>>>
>>>>>>> Changing the input is not allowed.
>>>>>>
>>>>>> *You are simply lying that any input was ever changed*
>>>>>>
>>>>>
>>>>> You did precisely that when you hypothesize different code for HHH.
>>>>>
>>>>> Changing the input is not allowed.
>>>>
>>>> *THIS IS WHAT MY ORIGINAL WORDS MEANT*
>>>> HHH is the infinite set of every possible C function
>>>> that correctly emulates N steps of its input where
>>>> N any finite positive integer.
>>>>
>>>
>>> In other words, you're changing the input.
>>>
>>> Changing the input is not allowed.
>>
>> It is an infinite set of HHH/DDD pairs having the
>> property that DDD[0] ... DDD[N] never halts.
>>
> Proving that HHH[0] ... HHH[N} are unable to correctly complete the 
> simulation. 

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

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

In the exact same way that HHH cannot complete the
simulation of the above functions.

BECAUSE THEY SPECIFY NON-TERMINATING BEHAVIOR.


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