XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 10/4/2025 10:23 AM, Wuns Haerst wrote:   
   > 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 !   
   >   
      
   *Here is the updated wording*   
      
   void P()   
   {   
      if H(P)  // returns 1 for halts 0 for loops   
        HERE: goto HERE;   
   }   
      
   For the set of H/P pairs of   
   decider H and input P:   
   If H says halts then P loops   
   If H says loops then P halts   
   making H(P) always incorrect.   
      
      
   --   
   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)