Re: At least 100 people kept denying the easily verified fact

Op 04.jun.2024 om 23:53 schreef olcott:

https://liarparadox.org/DD_correctly_simulated_by_HH_is_Proven.pdf
 At least 100 people kept denying the easily verified fact that the above
link conclusively proves that DD <is> correctly simulated by HH.
 It has been just like I smash a Boston cream pie in their face and they
persistently deny that there ever was any pie as this pie drips from
their face.
 

By changing definitions you can prove many things.
If  create a halting decider that looks whether the description of its input has an odd, or a an even length, then, of course people will tell me that the result does not match direct execution. So, I change the definition of halting to that what my decider returns, because that is the input used by my decider.
Then, by definition my decider is always correct.
You do the same, by changing the meaning of halting to that what your decider returns. Of course, by that definition, your deciders is trivially correct, but useless.
It seems that your eyes are so full of Boston cream, that you see nothing, not even the cream.