Re: Halting Problem is wrong two different ways

On 6/06/24 18:34, Fred. Zwarts wrote:

Your own proof shows that main halts. Your own proof shows that HH returns a non-halting result. By *definition* that is a false negative.

Olcott believes that DD(DD) and the input to HH(DD,DD) are two different things, and that facts about one have absolutely no relation to the other, so he thinks this is not a false negative.
He believes all three things are true:
* DD(DD) halts.
* The input to HH(DD,DD) doesn't halt.
* HH(DD,DD) is a correct simulation of DD(DD).
This is like believing that:
* 2+2=4
* The input to Plus(2,2) specifies a total of 5.
* Plus is a correct simulation of +