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

On 20/05/24 19:56, olcott wrote:

For two or three years everyone has been claiming that the
above measures of correct simulation are incorrect. Their
"ultimate" measure of a "correct" simulation is that D does
whatever they expect D to do.

The ultimate measure of a correct simulation is that the simulation does the same thing the thing that you are simulating does. In other words, H(D,D) does the same thing that D(D) does.
When I test an electronic circuit in a circuit simulator and then build it in real life, it should do the same thing that the simulator said it would do.