Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.quux.org!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: Every sufficiently competent C programmer knows --- Very Stupid
 Mistake or Liars
Date: Thu, 13 Mar 2025 23:03:47 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6378173d7e3d4629202da0afd62043e20b9e13d9@i2pn2.org>
References: <vqntaq$1jut5$1@dont-email.me> <vqqrin$28lh2$4@dont-email.me>
 <vqs9ck$2lqb2$1@dont-email.me> <vqud4e$36e14$3@dont-email.me>
 <vqueuk$idv$1@reader1.panix.com> <vqunb6$392on$1@dont-email.me>
 <0e710a3da76b08e532d6bbc56c3661ff0a0d9d92@i2pn2.org>
 <vr031n$ad6n$2@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 03:03:48 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="82221"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vr031n$ad6n$2@dont-email.me>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0

On 3/13/25 10:07 PM, olcott wrote:
> On 3/13/2025 6:09 PM, Richard Damon wrote:
>> On 3/13/25 9:41 AM, olcott wrote:
>>> On 3/13/2025 6:18 AM, Dan Cross wrote:
>>>> In article <vqud4e$36e14$3@dont-email.me>,
>>>> Fred. Zwarts <F.Zwarts@HetNet.nl> wrote:
>>>>> Op 12.mrt.2025 om 16:31 schreef olcott:
>>>>>> [snip]
>>>>>> When N steps of DDD are correctly emulated by every element
>>>>>> of the set of C functions named HHH that do x86 emulation and
>>>>>>
>>>>>> N is each element of the set of natural numbers
>>>>>>
>>>>>> then no DDD of the set of HHH/DDD pairs ever reaches its
>>>>>> "return" instruction and terminates normally.
>>>>>
>>>>> In other words no HHH of the set of HHH/DDD pairs ever succeeds to
>>>>> complete the simulation of a halting program. Failure to reach the end
>>>>> of a halting program is not a great success. If all HHH in this set
>>>>> fail, it would be better to change your mind and start working on
>>>>> something more useful.
>>>>
>>>> He seems to think that he's written a program that detects that
>>>> his thing hasn't 'reached its "return" instruction and
>>>> terminate[d] normally', given some number of steps, where that
>>>> number is ... the cardinality of the natural numbers.
>>>>
>>>> I wonder if he knows that the set of natural numbers is
>>>> infintite, though I suspect he'd say something like, "but it's
>>>> countable!"  To which I'd surmise that he has no idea what that
>>>> means.
>>>>
>>>
>>> void DDD()
>>> {
>>>    HHH(DDD);
>>>    return;
>>> }
>>>
>>> Everyone here knows that when N steps of DDD are correctly
>>> simulated by HHH that DDD never reaches its own "return"
>>> instruction and terminates normally thus never halts.
>>> *AND THEY LIE ABOUT IT BY ENDLESSLY CHANGING THE SUBJECT*
>>
>>
>> No, the PARTIAL EMULATION done by HHH can't reach that point,
> 
> But a complete emulation can?
> 

Yes, but an HHH that gives an answer doesn't do one, due to the 
pathological design of the template used to build DD to the HHH it calls 
(which is the only HHH that can exist, or you have violated the basic 
rules of programing and logic).

We have two basic cases,

1) if HHH does the partial emulation you describe, then the complete 
emulation of DD will see that DD call HHH, and it will emulate its input 
for a while, then abort and theu return 0 to DD which will then halt.

2) if HHH does not abort its emulation, then when we look at what HHH 
does when run, it will just run forever, and that make this version of 
DD non-halting (being based a different HHH, means it is a different 
program and thus can have different behavior) but this HHH is not 
correct in saying that, as it will never say that, as it is stuck in 
that infinite emulation.


You just don't seem to understand that HHH can't be two different things 
at once, because you seem to have an insane mental block on that concept.