XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 8/3/2025 6:31 AM, Richard Damon wrote:   
   > On 8/2/25 2:46 PM, olcott wrote:   
   >> On 8/2/2025 1:19 PM, joes wrote:   
   >>   
   >>> Change it to what?   
   >>>   
   >>   
   >> I say DDD correctly emulated by HHH does not halt   
   >> and Richard says no I am wrong the directly executed   
   >> DDD() does halt. He has done this hundreds of times.   
   >   
   > But the problem is, if that WERE true, then HHH doesn't answer, as so   
   > wasn't a correct halt decider either.   
   >   
      
   void DDD()   
   {   
      HHH(DDD);   
      return;   
   }   
      
   void Infinite_Loop()   
   {   
      HERE: goto HERE;   
      return;   
   }   
      
   This is merely you hypocritically requiring HHH to report   
   on the 100% complete step-by-step behavior of some non-halting   
   inputs such as HHH(DDD) and not requiring this of other inputs   
   HHH(Infinite_Loop).   
      
   void Infinite_Recursion()   
   {   
      Infinite_Recursion();   
      return;   
   }   
      
   HHH simulates Infinite_Recursion that   
   calls Infinite_Recursion that proves it   
   does not halt even when HHH aborts its   
   simulation.   
      
   HHH simulates DDD that calls HHH(DDD)   
   that proves it does not halt even when   
   HHH aborts its simulation.   
      
      
      
   --   
   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)