Re: The halting problem as defined is a category error

On 7/18/2025 5: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

 That seems correct to me and a very apt insight.
Professor Hehner wrote a paper on a similar idea
yet did not use the very apt term "category error".
The use of this term makes the issue much more clear.