XPost: comp.theory, sci.logic, sci.math   
   From: mikko.levanto@iki.fi   
      
   On 13/12/2025 23:07, olcott wrote:   
   > All of the textbooks require halt deciders to   
   > report on the behavior of machine M on input w.   
   >   
   > Since no Turing machine ever takes any Machine   
   > M as an input this  a category error even   
   > when this make no difference.   
   >   
   > We correct this error by saying that halt   
   > deciders must report on the basis of the   
   > behavior specified by their input finite string.   
      
   That you don't quote the halting problem and that you don't quote   
   the definition of category error means that you don't try to   
   support the claim presented in the subject. It seems that you   
   don't even believe you could support it.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)