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

On 19/05/24 15:11, olcott wrote:

On 5/19/2024 7:15 AM, immibis wrote:

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

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*
 

 we got to it many times before
 

 People glance at a few things that I say and then leap to the
conclusion that I must be wrong without systematically evaluating
every step of my proof.

 we already evaluated them many times before. there is no need to evaluate the exact same steps again.
 

People call me a liar without ever actually showing that I am incorrect.

 we have shown you are incorrect and you pretend not do see it.
 proof: the simulation behaves different from the execution. therefore it is an incorrect simulation. you say it is a correct simulation. therefore you are a liar.