XPost: comp.theory, sci.logic, sci.math   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 4.12.2025 klo 16.15:   
   > On 12/4/2025 3:17 AM, Mikko wrote:   
   >> olcott kirjoitti 3.12.2025 klo 18.27:   
   >>> On 12/3/2025 5:34 AM, Mikko wrote:   
   >>>> olcott kirjoitti 2.12.2025 klo 16.14:   
   >>>>>   
   >>>>> Flibble was the first one to use this term that I am aware of.   
   >>   
   >> 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".   
   >   
   > The halting problem contradicts the definition   
   > of a Turing machine decider proving that it is   
   > wrong because the definition of a Turing machine   
   > decider is foundational.   
      
   That still contains the same category error pointed out in my   
   prevous comment as quoted above.   
      
   --   
   Mikko   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)