XPost: comp.theory   
   From: polcott333@gmail.com   
      
   void DDD()   
   {   
      HHH(DDD);   
      return;   
   }   
      
   int main()   
   {   
      HHH(DDD);   
   }   
      
   Of the two hypothetical possible ways that HHH can be encoded:   
   (a) HHH(DDD) is encoded to abort its simulation.   
   (b) HHH(DDD) is encoded to never abort its simulation.   
      
   We can know that (b) is wrong because this fails to meet the design   
   requirement that HHH must itself halt.   
      
   We also know that any simulation that must be aborted to prevent the   
   infinite execution of the simulator is necessarily a non-halting input.   
      
      
   --   
   Copyright 2024 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)