XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/28/2025 9:00 PM, Richard Damon wrote:   
   > On 7/28/25 7:44 PM, olcott wrote:   
   >> On 7/28/2025 6:26 PM, Richard Damon wrote:   
   >>> On 7/28/25 8:34 AM, olcott wrote:   
   >>>>   
   >>>> void DDD()   
   >>>> {   
   >>>>    HHH(DDD);   
   >>>>    return;   
   >>>> }   
   >>>>   
   >>>> That you are too stupid to understand that DDD simulated   
   >>>> by HHH does call HHH in recursive emulation even after   
   >>>> I have provided fully operational code of DDD calling   
   >>>> HHH(DDD) in recursive emulation *IS NOT A REBUTTAL*   
   >>>>   
   >>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c   
   >>>>   
   >>>   
   >>> What you are too stupid to understand is that while the *PROGRAM*   
   >>> HHH, which does the specific actions it is defined to, when it   
   >>> simulates the input that represents the *PROGRAM* DDD, which by   
   >>> definition includes the code of the HHH that it is built on, that   
   >>> will not reach the final state.   
   >>>   
   >>   
   >> HHH correctly predicts that DDD correctly simulated   
   >> by HHH cannot possibly reach its simulated "return"   
   >> statement final halt state. This is because DDD does   
   >> call HHH(DDD) in recursive simulation.   
   >   
   > Can't do that, as HHH doesn't correct simulate its input, since correct   
   > simulation requires being complete.   
   >   
      
   Never heard of mathematical induction?   
      
      
   --   
   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)