XPost: comp.theory, sci.math   
   From: polcott333@gmail.com   
      
   On 11/16/2025 8:39 AM, joes wrote:   
   > Am Sat, 15 Nov 2025 20:55:29 -0600 schrieb olcott:   
   >   
   >> The information that HHH is required to report on simply is not   
   >> contained in its input.   
   >   
   > The information that HHH1 is required to report on is.   
   >   
      
   Yes that is correct. So when HHH(DD) and HHH1(DD)   
   are required to report on the behavior that their   
   input specifies HHH(DD)==0 and HHH1(DD)==1 are both correct.   
      
   The halting problem is incorrect when it requires a   
   halt decider to report on the behavior of its caller   
   because the decider has no way to even determine which   
   one of its possible callers is its actual caller.   
      
   It has always been out of the scope of every decider   
   to report on anything besides what its actual input   
   actually specifies.   
      
   HHH(DD) has been fully operational code for three years   
   https://github.com/plolcott/x86utm/blob/master/Halt7.c   
      
   --   
   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)