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.theory
Subject: Re: Every sufficiently competent C programmer knows --- posthumous
 reviewers
Date: Fri, 14 Mar 2025 09:39:30 -0500
Organization: A noiseless patient Spider
Lines: 55
Message-ID: <vr1f32$1ev1a$4@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>
 <vqpv2u$23vhr$1@dont-email.me>
 <Ny-dnRlMHcVpA036nZ2dnZfqnPqdnZ2d@brightview.co.uk>
 <vqrjrn$2h4l2$1@dont-email.me>
 <nESdnUfJxdhoTkz6nZ2dnZfqnPSdnZ2d@brightview.co.uk>
 <vqsl7c$2ok91$1@dont-email.me>
 <f7b6995ae3e79db00fa5070d9be8126b7ea5ae78@i2pn2.org>
 <vqt99l$2spcd$5@dont-email.me> <vqu84v$363tm$1@dont-email.me>
 <vqvgpn$3s1qt$4@dont-email.me> <vr0rcu$10780$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 14 Mar 2025 15:39:31 +0100 (CET)
Injection-Info: dont-email.me; posting-host="dafe6f14f3a328460e6bcedd003dc467";
	logging-data="1539114"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18eZs9/dR6VemtohWqPyZN5"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:uYuZeQvg3EDr0aga71BTb1SZvg0=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <vr0rcu$10780$1@dont-email.me>
X-Antivirus: Norton (VPS 250314-2, 3/14/2025), Outbound message
Bytes: 3371

On 3/14/2025 4:03 AM, Mikko wrote:
> On 2025-03-13 20:56:22 +0000, olcott said:
> 
>> On 3/13/2025 4:22 AM, Mikko wrote:
>>> On 2025-03-13 00:36:04 +0000, olcott said:
>>>
>>>>
>>>> void DDD()
>>>> {
>>>>    HHH(DDD);
>>>>    return;
>>>> }
>>>>
>>>> int DD()
>>>> {
>>>>    int Halt_Status = HHH(DD);
>>>>    if (Halt_Status)
>>>>      HERE: goto HERE;
>>>>    return Halt_Status;
>>>> }
>>>>
>>>> When HHH correctly emulates N steps of the
>>>> above functions none of them can possibly reach
>>>> their own "return" instruction and terminate normally.
>>>
>>> Nevertheless, assuming HHH is a decider, Infinite_Loop and 
>>> Infinite_Recursion
>>> specify a non-terminating behaviour, DDD specifies a terminating 
>>> behaviour
>>
>> _DDD()
>> [00002172] 55         push ebp      ; housekeeping
>> [00002173] 8bec       mov  ebp,esp  ; housekeeping
>> [00002175] 6872210000 push 00002172 ; push DDD
>> [0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
>> [0000217f] 83c404     add  esp,+04
>> [00002182] 5d         pop  ebp
>> [00002183] c3         ret
>> Size in bytes:(0018) [00002183]
>>
>> What is the sequence of machine language
>> instructions of DDD emulated by HHH such that DDD
>> reaches its machine address 00002183?
> 
> Irrelevant off-topic distraction.
> 

Proving that you don't have a clue that Rice's Theorem
is anchored in the behavior that its finite string input
specifies. The depth of your knowledge is memorizing
quotes from textbooks.

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