Re: Claude.ai provides reasoning why I may have defeated the conventional HP proof

On 7/5/2025 4:06 AM, Mikko wrote:

On 2025-07-04 20:16:34 +0000, olcott said:
 

https://claude.ai/share/48aab578-aec3-44a5-8bb3-6851e0f8b02e

 Perhaps an artificial idiot can think better than you but it does
not think better than most participants of these discussions.
 

Yet you cannot point out any actual error.

What is not provable is not analytic truth.

I totally agree. Not only must it be provable it must
be provable semantically not merely syntactically.
Claude does provide the proof on the basis of understandings
that I provided to it. Here is the key new one:
Since no Turing machine can take another directly executing
Turing machine as an input they are outside of the domain
of any Turing machine based decider.
The requirement that a partial halt decider to report on the
behavior of a directly executed machine has always been bogus.

Opinions of artificial
idiots are not relevant. You have not proven any of your claims.
 

--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer