Sujet : Re: The halting problem as defined is a category error
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logic comp.ai.philosophyDate : 18. Jul 2025, 00:10:02
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <6dd65ec52324e2045dd727c5e71dfbe47da4108e@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
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.