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: Tue, 11 Mar 2025 21:31:03 -0500
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <vqqrl7$29meg$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 12 Mar 2025 03:31:03 +0100 (CET)
Injection-Info: dont-email.me; posting-host="da28212957632e1bc35b68d4fbc88507";
	logging-data="2415056"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+RJ2YLO40Pti8Fh+0q04Ix"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ArQFCJET14VjPHSQr5HQzVueNyY=
Content-Language: en-US
X-Antivirus: Norton (VPS 250311-4, 3/11/2025), Outbound message
X-Antivirus-Status: Clean
In-Reply-To: <vqqqu3$28kp8$2@dont-email.me>
Bytes: 2920

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*

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