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: DD correctly emulated by HHH --- Correct Emulation Defined
Date: Tue, 25 Mar 2025 07:26:11 -0500
Organization: A noiseless patient Spider
Lines: 61
Message-ID: <vru7d4$38ob9$4@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 25 Mar 2025 13:26:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="9741c665c88d9215381b06ce738934cb";
	logging-data="3432809"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+82wReVKAIMLaFT6WFWRw4"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:W4x3KYelXqWyQS2FLcLgDnj3+LM=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <f3eb4637823447e8d4da9cba580d51165bacf284@i2pn2.org>
X-Antivirus: Norton (VPS 250324-4, 3/24/2025), Outbound message
Bytes: 3445

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.

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

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?

> 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.

> Sorry, you are just proving your ignorance.


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