Re: D correctly simulated by H cannot possibly reach its own line 06 and halt

On 31/05/24 21:35, Fred. Zwarts wrote:

I would like to see that proof. Show how your fully operational code simulates HH up to its final state, but how the simulated HH then does not return to D line 04. I.e. show the trace of the last 10 simulated instructions of HH and the next 10 instructions.
 

He's shown it in abridged form many times. The traces are identical up to a certain point, and then one of them abruptly cuts off saying "this program would never halt" while the other one executes some more instructions and then halts.