Re: The halting problem as defined is a category error

Op 18.jul.2025 om 01:33 schreef olcott:

On 7/17/2025 6:23 PM, Mike Terry wrote:

On 17/07/2025 19:01, olcott wrote:

Claude.ai agrees that the halting problem as defined is a
category error.
>
https://claude.ai/share/0b784d2a-447e-441f-b3f0-a204fa17135a
>

>
Dude!  Claude.ai is a chatbot...
>
/You're talking to a CHATBOT!!!/
>
>
Mike.
>

 *Every human says that I am wrong yet cannot show any error*

As usual repeated claims without evidence.
That is your misconception, because you ignore the errors that were shown. We cannot show your errors, because you close your eyes for them and pretend they do not exist.

 All of the chat bots carefully examine my actual reasoning
and conclude that I am correct as soon as I explain enough
details.

That is easy to do by feeding the chat-boxes with incorrect information.

 _DDD()
[00002192] 55             push ebp
[00002193] 8bec           mov ebp,esp
[00002195] 6892210000     push 00002192  // push DDD
[0000219a] e833f4ffff     call 000015d2  // call HHH
[0000219f] 83c404         add esp,+04
[000021a2] 5d             pop ebp
[000021a3] c3             ret
Size in bytes:(0018) [000021a3]

You have been corrected on this many times. When are you going to think about it?
These 18 bytes are not the full input. The input also includes all functions called directly and indirectly by DDD, including the HHH that aborts and halts.
We know that this HHH returns with a value of 0, so a correct simulation would continue after the call with 0000219f and reach the final halt state. That HHH does not do that, shows that its simulation is incorrect.

 Each element of the infinite set of functions
at machine address 000015d2 that emulates 0 to ∞
instructions of the above machine code never
reaches its emulated "ret" instruction final
halt state BECAUSE DDD CALLS EACH EMULATOR IN
RECURSIVE EMULATION.

Yes, each aborting HHH fails to reach the final halt state that is specified in the input. More evidence that simulation by HHH is not the right way to analyse the behaviour specified in this input.
Other simulators and direct execution do not fail and prove that there is a final halt state specified in this input.