Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: The halting problem as defined is a category error
Date: Tue, 22 Jul 2025 22:13:29 -0500
Organization: A noiseless patient Spider
Lines: 74
Message-ID: <105pk0p$qppi$1@dont-email.me>
References: <105bdps$1g61u$1@dont-email.me>
 <GEzeQ.135758$gKRf.60411@fx12.ams4> <105fmv7$2lo8g$1@dont-email.me>
 <105gbst$2pk90$4@dont-email.me> <105iac9$396eu$2@dont-email.me>
 <105j0i2$3cagp$7@dont-email.me> <105l1pr$2q721$1@dont-email.me>
 <105lhj0$3v8t8$10@dont-email.me> <105nqeq$37mb8$1@dont-email.me>
 <105o5ak$g4mg$5@dont-email.me> <mXXfQ.24199$QtA1.1474@fx16.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 23 Jul 2025 05:13:30 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="450fe45807e1810ec95dacc886a9e60b";
	logging-data="878386"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX191tc/dI17CH29zb3mXGB2k"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:1yxrzjoxBF+xDoCAjOH9p59cfnk=
X-Antivirus-Status: Clean
Content-Language: en-US
In-Reply-To: <mXXfQ.24199$QtA1.1474@fx16.iad>
X-Antivirus: Norton (VPS 250722-6, 7/22/2025), Outbound message

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; Genius
hits a target no one else can see." Arthur Schopenhauer