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

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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer