Re: The halting problem as defined is a category error

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