XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   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   
   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   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)