Sujet : Re: The halting problem as defined is a category error
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 19. Jul 2025, 10:02:31
Autres entêtes
Organisation : -
Message-ID : <105fmv7$2lo8g$1@dont-email.me>
References : 1 2
User-Agent : Unison/2.2
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.
-- Mikko
…