Re: D correctly simulated by H proved for THREE YEARS --- rewritten

On 6/14/2024 2:00 PM, Fred. Zwarts wrote:

Op 14.jun.2024 om 14:49 schreef olcott:

I ran the actual code to verify the facts.
HH1(DD,DD) does not have a pathological relationship to its input
thus this input terminates normally.

 Your terminology is confusing. What you call a "pathological relationship" is that H must simulate itself.
 

*CONVENTIONAL TERMINOLOGY*
For any program H that might determine whether programs halt, a
"pathological" program D, called with some input, can pass its own
source and its input to H and then specifically do the opposite of what
H predicts D will do. No H can exist that handles this case.
https://en.wikipedia.org/wiki/Halting_problem

>
HH(DD,DD) does have a pathological relationship to its input
thus this input CANNOT POSSIBLY terminate normally.

 Yes, indeed! Well done! The input of HH(DD,DD) is aborted too early,

If the input is never aborted THEN IT NEVER TERMINATES.
your coding skills must not be very good.

because HH cannot possibly simulate itself up to its final state. That means that its simulation cannot terminate normally.
 

*It is D that calls H in recursive simulation*

>

It is only that H simulated by itself is aborted too early. Is that so difficult to understand for you?
>

Aborted too early is false.
Unless HH(DD,DD) aborts pretty soon HH and DD crash due to
out-of-memory error.
>

If H waits for some other H to abort their
simulation then H waits forever.

>
There is no other H.

>
Clearly you hardly understand anything that I have been saying.
(a) HH(DD,DD) directly executed in main simulates its input.
(b) The simulated DD calls a simulated HH(DD,DD) that
(c) simulates another instance of DD... goto (b)

I understand that very well, a, b, c explain why HH is not able to simulate itself up to the end. You are proving my claims.
 Another way of saying the same thing is:
1) HH starts simulating DD

Until H sees that D correctly simulated by H cannot
possibly terminate normally.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer