XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: dbush.mobile@gmail.com   
      
   On 10/2/2025 4:59 PM, olcott wrote:   
   > void P()   
   > {   
   >    if H(P)  // returns 1 for halts 0 for loops   
   >      HERE: goto HERE;   
   > }   
   >   
   > For *any* decider H and input P   
      
   Category error.  The fixed immutable set of instructions known as H does   
   one thing and one thing only.  Likewise, the fixed immutable set of   
   instructions known as P does one thing and one thing only.   
      
   So P either halts or does not halt.  H(P) gives the incorrect answer.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)