XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: Bonita.Montero@gmail.com   
      
   Am 17.09.2025 um 00:35 schrieb olcott:   
   > It is conventional[1] common knowledge that for every   
   > halt decider their is an input that does the opposite   
   > of whatever this decider reports, thus thwarting this   
   > decider. My HHH(DD)   
   >   
   > It is also conventional[1] common knowledge that another   
   > halt decider can correctly decide this same input. My HHH1(DD).   
   >   
   > How can HHH(DD) be undecidable and HHH1(DD) be decidable   
   > when as Kaz believes DD always specifies the exact same   
   > behavior?   
   >   
   >   
   >   
   >   
   > [1] This conventional knowledge is mistaken yet that is   
   > another different point.   
   >   
      
   The therapist that matches you has yet to be born.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)