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

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