Re: The halting problem as defined is a category error --- Flibble is correct

On 7/22/2025 9:12 PM, Richard Damon wrote:

On 7/22/25 11:21 AM, olcott wrote:

On 7/22/2025 9:19 AM, joes wrote:

Am Mon, 21 Jul 2025 09:19:23 -0500 schrieb olcott:
>

The correct measure of the behavior of the input to HHH(DDD)
is DDD simulated by HHH according to the semantics of the C programming
language.

The measure of HHH(DDD) is HHH(DDD)?
>

>
void DDD()
{
   HHH(DDD);
   return;
}
>
executed HHH emulates DDD that calls emulated HHH(DDD)
that emulates DDD that calls emulated emulated HHH(DDD)

 But that isn't your HHH, so just a lie.
 Your HHH only PARTIALLY emulates its input and DOES abort
 

>
  machine   stack     stack     machine        assembly
  address   address   data      code           language
  ========  ========  ========  ============== =============
[000021be][00103872][00000000] 55             push ebp
[000021bf][00103872][00000000] 8bec           mov ebp,esp
[000021c1][0010386e][0000219e] 689e210000     push 0000219e // push DDD
[000021c6][0010386a][000021cb] e823f4ffff     call 000015ee // call HHH
New slave_stack at:103916

 And here you show that your idea of "correct simulation" is just a lie.
 The *ONLY* correct x86 simulation of the call HHH is to go into HHH.
 

We have agreed on that hundreds of times and you keep forgetting.

Even if you do a funtional simulation of HHH, then it must do what HHH actually does, and none of the following is the simulation of the above DDD, and the function simulation of HHH must show it returning 0, since that *IS* what a call to HHH(DDD) ultimately does.
 

I directly know that HHH directly emulates itself
because I used a world class emulator with decades
of development effort and implemented it in the
multi-tasking operating system that I wrote.

Sorry, you are just proving that you lie about what you are doing, because you just don't understand the meaning of the words you use.
 

You can't even remember what we agreed to.

>
Begin Local Halt Decider Simulation   Execution Trace Stored at:11391e
[0000219e][0011390e][00113912] 55             push ebp
[0000219f][0011390e][00113912] 8bec           mov ebp,esp
[000021a1][0011390a][0000219e] 689e210000     push 0000219e // push DDD
[000021a6][00113906][000021ab] e843f4ffff     call 000015ee // call HHH
New slave_stack at:14e33e
[0000219e][0015e336][0015e33a] 55             push ebp
[0000219f][0015e336][0015e33a] 8bec           mov ebp,esp
[000021a1][0015e332][0000219e] 689e210000     push 0000219e // push DDD
[000021a6][0015e32e][000021ab] e843f4ffff     call 000015ee // call HHH
>
>
>
>
>

 

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