XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/18/2025 9:25 PM, Richard Damon wrote:   
   > 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.   
      
   It does turn out to be the case that the actual requirements   
   are anchored in a fundamentally false assumption and this   
   is key the error of the proofs. I finally articulated my   
   position on this so that it could be understood to be correct.   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)