XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-03, olcott  wrote:   
   > This concept must be named or it cannot   
   > be referenced. I must reference it.   
   > It must be a simple and accurate name.   
   >   
   > WTF would you call it?   
   >   
   > The set of H/P pairs such that:   
   > For decider H and input P   
   > If H says halts then P loops   
   > If H says loops then P halts   
   > making H(P) always incorrect.   
      
   This is not /your/ concept; it is something you should have   
   understood properly 20 years ago.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)