XPost: comp.theory, sci.logic, sci.math   
   From: polcott333@gmail.com   
      
   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.   
      
   --   
   Copyright 2025 Olcott

   
      
   My 28 year goal has been to make 
   
   "true on the basis of meaning expressed in language"
   
   reliably computable.

   
      
   This required establishing a new foundation
   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)