Re: Can D simulated by H terminate normally?

On 2024-04-28 12:56:36 +0000, olcott said:

On 4/28/2024 3:23 AM, Mikko wrote:

On 2024-04-28 00:17:48 +0000, olcott said:
 

Can D simulated by H terminate normally?

 One should not that "D simulated by H" is not the same as
"simulation of D by H". The message below seems to be more
about the latter than the former. In any case, it is more
about the properties of H than about the properties of D.

 D specifies what is essentially infinite recursion to H.

The recursion is infinite only if H calls D in infinite recursion.
If H actually calls D in infinite recursion it fails to complete
in finite time and therefore is not a halt decider.

Several people agreed that D simulated by H cannot possibly
reach past its own line 03 no matter what H does.

They probably  mean that H cannot continue the simulation of D
past line 03 of D. Whether that as any significance is another
question.
--
Mikko