XPost: comp.theory, sci.logic   
   From: hal@discovery.nasa   
      
   On Tue, 09 Dec 2025 16:27:53 -0600, polcott wrote:   
      
   > These are finally the long sought words that do resolve the halting   
   > problem to a category error.   
   >   
   > Turing machine deciders only compute the mapping from their [finite   
   > string] inputs to an accept or reject state on the basis that this   
   > [finite string] input specifies or fails to specify a particular   
   > semantic or syntactic property   
      
   Flibble was the first to claim the Halting Problem was a category error in   
   this very forum.   
      
   Flibble has retracted that claim as he now believes that diagonalisation   
   (proof by contradiction) is a valid, logically sound technique.   
      
   /HAL   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)