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: DD correctly emulated by HHH --- Correct Emulation Defined
Date: Tue, 25 Mar 2025 18:55:56 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ec5f99d12d55793f2fd3bd8a5308d115cd569412@i2pn2.org>
References: <vrfuob$256og$1@dont-email.me> <vrmirg$5bpl$1@dont-email.me>
 <ca0a3e4701bc62fa38f1138064feff7628ff5b48@i2pn2.org>
 <vrmtrn$cvat$7@dont-email.me>
 <678373dd34320b3c8250f1e75c849a16316d8ae8@i2pn2.org>
 <vro0rb$1c9ia$2@dont-email.me> <vroj7a$21s06$1@dont-email.me>
 <vrpfao$2qbhf$1@dont-email.me> <vrr1mf$db46$1@dont-email.me>
 <vrrp0r$11a56$3@dont-email.me>
 <a6dd00c5734a5df50234affe9f0d9790b17e233e@i2pn2.org>
 <vrt3bi$264jb$3@dont-email.me>
 <f3eb4637823447e8d4da9cba580d51165bacf284@i2pn2.org>
 <vru7d4$38ob9$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 26 Mar 2025 00:32:34 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1762229"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <vru7d4$38ob9$4@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US

On 3/25/25 8:26 AM, olcott wrote:
> On 3/25/2025 6:19 AM, Richard Damon wrote:
>> On 3/24/25 10:10 PM, olcott wrote:
>>>
>>> I told you too damn many times that all this stuff
>>> is in the same global memory space of the compiled
>>> object file.
>>>
>>
>> And thus either all the global memory space is what is defined to be 
>> the input, and thus every case you think of is a different input,
> 
> _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]
> 
> Correctly emulated is defined as emulated according to the
> semantics of the x86 language.

Which means this input need the actual code of the HHH that it calls to 
be included with it.

> 
> The question does the machine code of DDD (the program under test)
> reach is own "ret" instruction when correctly emulated by HHH?

So, are you asserting that your HHH ACTUALLY does a correct emulation of 
the input, which includes the code for that HHH?

If so, then THAT DDD (which calls the actually correctly emulating HHH) 
will not halt, but that HHH will not answer.

> 
> is not effected by this.
> 
>> or your "decider" fails to meet the requirements of being the pure 
>> function that you have admited to be a known base requirement.
>>
> 
> We cannot move on to any other point while you continue
> to deny the proven facts of the first point.
> 
> int DD()
> {
>    int Halt_Status = HHH(DD);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> This first point is this:
> Would HHH be correct to reject DD as non-halting?

No. because if HHH does that, then DD is halting, as HHH must not do a 
correct emulation to do that rejection, and thus we see that the actual 
correct emulation of the input will halt.

> 
>> Sorry, you are just proving that everything you say is likely a lie, 
>> because you just can remember the meaning of the words so you create 
>> your own, INCONSISTENT meaning as you go.
>>
> 
> You cannot show any example of that above.

Sure, many times, the problem is you keep on trying to make HHH be two 
different programs at once, which it can't be, so your argument is just 
built on a lie.

> 
>> Sorry, you are just proving your ignorance.
> 
>