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

On 3/9/24 9:27 AM, olcott wrote:

On 3/9/2024 11:08 AM, Richard Damon wrote:

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)

 It is a verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must abort the simulation of
its input and H ⟨Ĥ⟩ ⟨Ĥ⟩ need not abort the simulation of its input
and verified facts supersede all theories to the contrary.
 

Nope.
H^.H must abort to meet its specification, but that doesn't mean it does.
Your problem is that Turing Machines don't let you LIE about what is happening, and you "proof" is based on your LYING about what is happening.
Therefore, you tried creating you Olcott machines to let you try to cheat again, but it turns out they only let you cheat by writing in big black letters on the backs of the cards, which everyone sees, so you can't actually get away with your lies.
You can't "Refute" something because it makes it inconient to try to prove somethihng.
Your claim just proves that you are totally ignorant about how Logic actually works, so NOBODY should even think about looking at your ideas of "Correct Reasoning" as the obviously can't actually be correct if they produce so many lies.
Face it, you have destroyed your repuations, and will be remembersd as just that pathetic ignorant hypocritical pahtological lying idiot you have shown yourself to be.
If you can find a way to snap out of you gas-lighted self-brainwashing, maybe you can recover a bit of reputation, but I don't think you have that in you.
Sorry, you are just proving you are a MORON.