Sujet : Re: The halting problem as defined is a category error
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophyDate : 23. Jul 2025, 04:13:29
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <105pk0p$qppi$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer
The halting problem as defined is a category error
Re: The halting problem as defined is a category error