XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 10/2/2025 4:19 PM, dbush wrote:   
   > 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.   
      
   *That is why I changed it to a set of sets*   
      
   For *any* decider H and input P   
   *is an infinite set of H/P pairs*   
      
   Almost every error that anyone has ever pointed   
   out is either their own lack of attention or their   
   own lack of comprehension.   
      
   The very helpful error corrections are wording mistakes.   
   That is why I need reviewers like you.   
      
   > 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.   
   >   
      
      
   --   
   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)