XPost: comp.theory, sci.logic   
   From: polcott333@gmail.com   
      
   On 7/22/2025 9:16 PM, Richard Damon wrote:   
   > On 7/22/25 9:56 AM, olcott wrote:   
   >> On 7/22/2025 5:51 AM, Mikko wrote:   
   >>> On 2025-07-21 14:07:27 +0000, olcott said:   
   >>>   
   >>>> On 7/21/2025 4:38 AM, Mikko wrote:   
   >>>>> On 2025-07-20 15:04:34 +0000, olcott said:   
   >>>>>   
   >>>>>> On 7/20/2025 3:46 AM, Mikko wrote:   
   >>>>>>> On 2025-07-19 14:59:41 +0000, olcott said:   
   >>>>>>>   
   >>>>>>>> On 7/19/2025 4:02 AM, Mikko wrote:   
   >>>>>>>>> On 2025-07-18 22:11:50 +0000, Mr Flibble said:   
   >>>>>>>>>   
   >>>>>>>>>> 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.   
   >>>>>>>>>   
   >>>>>>>>> Indeed you stated that but failed to identify the actual error.   
   >>>>>>>>> You   
   >>>>>>>>> did not say which word in the problem statement is wrong or   
   >>>>>>>>> what is   
   >>>>>>>>> the wrong category or what would be the right one.   
   >>>>>>>>   
   >>>>>>>> I conclusively proved the actual category error yet   
   >>>>>>>> people that are only interested in rebuttal want no   
   >>>>>>>> part of any proof that I am correct.   
   >>>>>>>   
   >>>>>>> Is it the same error as Flibble found?   
   >>>>>>   
   >>>>>> Flibble's category error is stated abstractly.   
   >>>>>> My version is stated concretely.   
   >>>>>   
   >>>>> Could you post a pointer to your version?   
   >>>>   
   >>>> The category error is a type mismatch error where   
   >>>> a Turing Machine decider is required to report on   
   >>>> the behavior of a directly executed machine yet   
   >>>> cannot take a directly executed machine as an input.   
   >>>   
   >>> That is not a category error. A category error is a word or phrase   
   >>> of some category in a context that requires a word or phrase of a   
   >>> different category.   
   >>>   
   >>   
   >> The category error is the mistake of assuming that   
   >> a directly executing Turing machine is in the category   
   >> of input to a Turing machine halt decider.   
   >   
   > How is that a category error, when it is EXACTLY the category of things   
   > that are supposed to be give (via representation) to it.   
   >   
      
   You don't really care so I won't bother to explain it again.   
      
   --   
   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)