XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/28/2025 10:16 PM, Richard Heathfield wrote:   
   > On 28/10/2025 21:58, dbush wrote:   
   >> On 10/28/2025 4:51 PM, olcott wrote:   
   >   
   >    
   >   
   >>>    
   >>   
   >> So again you admit that Kaz's code proves that D is halting.   
   >   
   > Credit where credit is due. By returning 0*, /olcott's/ code proves that   
   > D is halting.   
   >   
   > *i.e. non-halting.   
      
   Yet (as I have said hundreds of times) Turing machines   
   can only compute the mapping from *INPUT* finite string   
   machine descriptions to the behavior that these *INPUT*   
   finite string machine descriptions *ACTUALLY SPECIFY*   
      
   D simulated by H SPECIFIES NOT-HALTING BEHAVIOR.   
   The halting problem itself makes a category error   
   when it requires deciders to report on behavior   
   other than the behavior that *THEIR INPUT SPECIFIES*   
      
   --   
   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)