XPost: comp.theory   
   From: polcott333@gmail.com   
      
   void DDD()   
   {   
      HHH(DDD);   
   }   
      
   int main()   
   {   
      DDD();   
   }   
      
   (a) Termination Analyzers / Partial Halt Deciders must halt   
   this is a design requirement.   
      
   (b) Every simulating termination analyzer HHH either   
   aborts the simulation of its input or not.   
      
   (c) Within the hypothetical case where HHH does not abort   
   the simulation of its input {HHH, emulated DDD and executed DDD}   
   never stop running.   
      
   This violates the design requirement of (a) therefore HHH must   
   abort the simulation of its 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)