XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   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.   
      
   --   
   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)