From Newsgroup: comp.ai.philosophy

On Wed, 2025-07-30 at 11:02 -0500, olcott wrote:

On 7/30/2025 10:58 AM, wij wrote:

On Wed, 2025-07-30 at 10:43 -0500, olcott wrote:

On 7/30/2025 10:23 AM, joes wrote:

Am Wed, 30 Jul 2025 10:02:05 -0500 schrieb olcott:

On 7/30/2025 5:59 AM, Richard Damon wrote:

On 7/29/25 11:12 PM, olcott wrote:

This just occurred to me:
*HHH(DDD)==0 is also correct for another different reason*
Even if we construed the HHH that DDD calls a part of the program under test it is true that neither the simulated DDD nor the simulated
HHH cannot possibly reach their own final halt state.

Sure they do, when correctly simulated. What doens't happne is that the
PARTIAL simulation (and thus not correct) of HHH can't reach that state.

We have been over this too many times. If DDD was incorrectly emulated
by HHH then you could show the exact x86 instruction of DDD that was emulated incorrectly when DDD is emulated by HHH or when DDD is emulated
by the emulated HHH.

Yeah, we have. The second call to HHH is not simulated.

I proved that the emulated HHH does emulate DDD correctly
and you simply ignored this proof.

You are shown not qualified to use 'prove' word and 'correct'. You have no valid base.

That you cannot understand the sequence of steps that proves

I have proven you don't know even the basic IF/AND/OR logic. Do you want more?

that DDD is correctly emulated by HHH and DDD is correctly
emulated by an emulated HHH is not any actual rebuttal at all.

_DDD()
[0000219e] 55             push ebp
[0000219f] 8bec           mov ebp,esp
[000021a1] 689e210000     push 0000219e
[000021a6] e843f4ffff     call 000015ee
[000021ab] 83c404         add esp,+04
[000021ae] 5d             pop ebp
[000021af] c3             ret
Size in bytes:(0018) [000021af]

_main()
[000021be] 55             push ebp
[000021bf] 8bec           mov ebp,esp
[000021c1] 689e210000     push 0000219e
[000021c6] e823f4ffff     call 000015ee
[000021cb] 83c404         add esp,+04
[000021ce] 50             push eax
[000021cf] 685f070000     push 0000075f
[000021d4] e8a5e5ffff     call 0000077e
[000021d9] 83c408         add esp,+08
[000021dc] 33c0           xor eax,eax
[000021de] 5d             pop ebp
[000021df] c3             ret
Size in bytes:(0034) [000021df]

  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

Don't fool yourself, I would say you don't even understand hex-numbers.
--- Synchronet 3.21a-Linux NewsLink 1.2