Re: HHH(DDD) is correct to reject its input as non-halting --- EVIDENCE THAT I AM CORRECT

Am Fri, 20 Jun 2025 09:53:41 -0500 schrieb olcott:

On 6/20/2025 4:42 AM, Fred. Zwarts wrote:

Op 19.jun.2025 om 17:23 schreef olcott:

On 6/19/2025 3:55 AM, Fred. Zwarts wrote:

Op 18.jun.2025 om 17:41 schreef olcott:

On 6/18/2025 4:36 AM, Fred. Zwarts wrote:

Op 17.jun.2025 om 16:36 schreef olcott:

Indeed, HHH fails to reach the end of the simulation, even though
the end is only one cycle further from the point where it gave up
the simulation.
>

That is counter-factual and over-your-head.

It was an agreement.

No evidence presented for this claim. Dreaming again?
Even a beginner understands that when HHH has code to abort and halt,
the simulated HHH runs one cycle behind the simulating HHH, so that
when the simulating HHH aborts, the simulated HHH is only one cycle
away from the same point.

>
Proving that you do not understand what unreachable code is.

 
Even a beginner understands that when HHH has code to abort and halt,
the simulated HHH runs one cycle behind the simulating HHH, so that
when the simulating HHH aborts, the simulated HHH is only one cycle
away from the same point.

Yes this is factual.

Lol, that was the same paragraph.

Every simulated HHH remains one cycle behind its simulator no matter how
deep the recursive simulations go. This means that the outermost
directly executed HHH reaches its abort criteria first.

Yes, no simulator can proceed past a call to itself.

This means that none of simulated HHH have reached their abort criteria.
This means that their own abort code is unreachable at the point where
the outermost HHH would abort.

Or rather, it hasn't been reached yet. It is already unreachable *for HHH*
when it starts simulating. It is not unreachable when DDD is run directly,
or simulated by anything else that simulates the one cycle more until
the next inner HHH aborts, so clearly HHH is faulty.

The failure to reach that point of the simulation is a property of the
simulator, not of the program specified in the input.

This.

--
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.