[continued from previous message]   
      
   It does not matter who first used the term here.   
   ...   
   >> Anyway, any claim that a problem contradict something is   
   >> a category error because the meanings of "problem" and   
   >> "contradict" are not compatible.   
   >   
   > When the halting problem contradicts the definition   
   > of a Turing machine decider   
      
   A contradiction means that all claims of some set cannot be true. It   
   is a category error to apply the term "contradiction" to non-claims.   
   Examples of non-claims are problem and definition. An example of   
   category error is "the halting problem contradicts the definition of   
   a Turing machine decider".   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)