From: wyniijj5@gmail.com   
      
   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.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)