Re: Working out the details of the steps of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <Ĥ> ⊢* Ĥ.Hqn

On 3/9/24 7:12 AM, olcott wrote:

On 3/9/2024 7:47 AM, immibis wrote:

On 8/03/24 22:34, olcott wrote:

And since H^ can "lie" to that embedded H^.H about what its description is, that H can't tell that it is part of an H^ computation that is simulating an H^ computation.

>
That subject must be postponed until after the Olcott refutation
of the exact Linz proof is either fully accepted by three people
or actual errors or gaps are found that cannot be addressed or
corrected.

>
It's accepted that the Linz proof doen't work on Olcott machines because the Linz proof is designed for Turing machines. But you can't refute the Linz-immibis proof designed for Olcott machines, where H is lied to about its own description.

 I am not sure what Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> would do except halt or fail to halt
and H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> could see that.
 

Because if H simulates "long enough" to see the answer, that "long enough" will turn out to be FOREVER, since H^.H will do the same thing (BY DEFINITION)