Re: Every D(D) simulated by H presents non-halting behavior to H ###

On 5/18/2024 10:45 PM, immibis wrote:

On 19/05/24 05:27, olcott wrote:

Yes and several people also continue to point out that D
correctly simulated by H can reach its own line 06 and halt
even when an execution trace of H simulating itself simulating
D proves otherwise.

 You don't understand that a correct simulation does the same thing as the real program. A correct simulation of D doesn't reach line 06 if D outside of a simulation doesn't reach line 06.
 If D outside of a simulation reaches line 06 but D inside of a simulation doesn't reach line 06 then the simulation is wrong.

*We have not gotten to that point in the dialog yet*
Every element of an infinite set of H/D pairs matching a template
where H correctly simulates 1 to ∞ steps of D thus including
0 to ∞ recursive simulations of H simulating itself simulating D.
*No D correctly simulating by H ever reaches its own line 06 and halts*
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer