XPost: comp.theory, sci.logic   
   From: richard@damon-family.org   
      
   On 7/18/25 6:11 PM, Mr Flibble wrote:   
   > On Thu, 17 Jul 2025 13:01:31 -0500, olcott wrote:   
   >   
   >> Claude.ai agrees that the halting problem as defined is a category   
   >> error.   
   >>   
   >> https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a   
   >>   
   >> This can only be directly seen within my notion of a simulating halt   
   >> decider. I used the Linz proof as my basis.   
   >>   
   >> Sorrowfully Peter Linz passed away 2 days less than one year ago on my   
   >> Mom's birthday July 19, 2024.   
   >   
   > I was the first to state that the halting problem as defined is a category   
   > error and I stated it in this forum.   
   >   
   > /Flibble   
      
   But can't define the categories in a way that is actually meaningful.   
      
   There is no way to tell by looking at a piece of code which category it   
   belongs to.   
      
   The category error comes from Olcotts ignoring the actual requirments of   
   the problem, and trying to get away with non-programs.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)