Path: nntp.eternal-september.org!news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!usenet.network!news.neodome.net!rocksolid2!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: Thu, 17 Jul 2025 19:10:02 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6dd65ec52324e2045dd727c5e71dfbe47da4108e@i2pn2.org>
References: <105bdps$1g61u$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 17 Jul 2025 23:28:34 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1088484"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <105bdps$1g61u$1@dont-email.me>
Content-Language: en-US

On 7/17/25 2:01 PM, 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.
> 

BUT YOU LIED TO IT, AND THUS THE RESULTS ARE INVALID.

Requires Ĥ.embedded_H ⟨Ĥ⟩ ⟨Ĥ⟩ to report on the
direct execution of Ĥ applied to ⟨Ĥ⟩ and thus not
⟨Ĥ⟩ ⟨Ĥ⟩ correctly simulated by Ĥ.embedded_H.


There is NO requirement that embedded_H does a "Correct Simulation" as 
what defines the behaviof of the input.

You have admitted that, as you say it MUST be allowed to abort, and 
aborted simulation are not "correct" per the definitions.

Sorry, you are just showing you only have natural stupidity as you don't 
even understand the rules of Artificial Intelegence.

Ultimately, the problem is that you are just to stupid to understand the 
full power of the concept of representation.