Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!usenet.network!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic,comp.ai.philosophy
Subject: Re: The halting problem as defined is a category error
Date: Fri, 18 Jul 2025 22:25:50 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <8af2e6b88974c28fdad5a1879e7986e98aa9bc3e@i2pn2.org>
References: <105bdps$1g61u$1@dont-email.me>
 <GEzeQ.135758$gKRf.60411@fx12.ams4>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 19 Jul 2025 02:26:26 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1253971"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <GEzeQ.135758$gKRf.60411@fx12.ams4>

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.