Re: Respect [was: The halting problem as defined is a category error]

Am Sun, 20 Jul 2025 09:30:08 -0500 schrieb olcott:

On 7/20/2025 6:13 AM, Richard Damon wrote:

When you add to the input the actual definition of "Non-Halting", as
being that the exectuion of the program or its complete simulation will
NEVER halt, even if carried out to an unbounded number of steps, they
will give a different answer.

This is a whole other issue that I have addressed.
They figured out on their own that if DDD was correctly simulated by HHH
for an infinite number of steps that DDD would never stop running.

That is incorrect. The HHH called by DDD will hit the abort. (Of course
HHH can't simulate that since it aborts before instead of doing an
unlimited simulation.)

--
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.