XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: Wuns.Haerst@wurstfabrik.at   
      
   Am 02.10.2025 um 22:59 schrieb olcott:   
   > void P()   
   > {   
   >    if H(P)  // returns 1 for halts 0 for loops   
   >      HERE: goto HERE;   
   > }   
   >   
   > For *any* decider H and input P   
   > If H says halts then P loops   
   > If H says loops then P halts   
   > Making this HP diagonal case unsatisfiable.   
      
   Wrong !   
      
   >   
   > Finally a simple way to say it that uses terms exactly correctly.   
   >   
   > *** NOTE *** THIS IS ONLY THE CONVENTIONAL NOTION   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)