Re: The halting problem as defined is a category error

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.