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

On 2025-07-06 14:48:45 +0000, olcott said:

On 7/6/2025 3:30 AM, Mikko wrote:

On 2025-07-05 15:18:46 +0000, olcott said:
 

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.

 There is no error in your above quoted words.
 

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.

 In order to prove anything a proof must be syntactically correct.
Then the conclusion is semantically true if the premises are.

 Not exactly. Some of logic is wrong.

There is no example where ordinary logic derives a false conclusion from
true premises. Other logics may contain mistakes so they should not be
used unless proven valid.

An analytic proof requires a semantic connection
from a set of expressions of language that are
stipulated to be true.

It requires a syntactic connection. A semantic connection can always
be expressed with a syntactic connection. Other ways of expression
tend to lead to errors.

I used C and x86 as my proof
languages.

They cannot be used as proof languages as they don't have any concept of inference. In addition, they don't have any reasonable interrpetation as
truth-bearer languages.

Claude does provide the proof on the basis of understandings
that I provided to it.

Which are not acceptable premises for those reader who undrstand
the halting problem and related topics.

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.

 By the same reasning there are no universal Turing machines.

 Counter-factual. UTMs are easy.

Indeed. If your reasoning were correct an universal Turing
machine would be impossible but there are universal Turing
machines so (by the inference rule known as modus tollens)
your reasoning is not correct.

But the reasoning is not correct. The halting problem requires
that a halt decider must predict what happens later ir the
descirbed comutation is performed.

 That is an incorrect requirement.

A requirement is correct if it is possible to determine whether
it is satisfied. If the prediction is "does not halt" and a
direct execution halts then the requirement is not met and the
predicting machien is not a halt decider, because that is what
the words mean.

Partial halt deciders can only report on the actual
behavior that their actual input actually specifies.

They cannot do even that for every possible behaviour. Some of
them can determine more cases than some others but none of them
can determine all cases.

The requirement that a partial halt decider to report on the
behavior of a directly executed machine has always been bogus.

No, it is not:

The Wikipeda page https://en.wikipedia.org/wiki/Halting_problem confirms
what I said above. The magic word "bogus" has no effect, no matter how
may times you say it.

All of the halting problem proofs depend on an input
to a partial halt decider doing the opposite of whatever
the decider decides. No such input exists.

An analytic truth is that such input is constructible.

*The standard halting problem proof cannot even be constructed*

It has been constructed and published and checked and found good.
But the proof does not apply to your work because your work is
not about the halting problem.
--
Mikko