Liste des Groupes | Revenir à s logic |
On 3/9/2024 9:36 AM, immibis wrote:How?On 9/03/24 16:12, olcott wrote:It is easily proven that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ must abort the simulation ofOn 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.
>
I am not sure what Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> would do except for exactly the same thing that H ⟨Ĥ⟩ ⟨Ĥ⟩ <H> would do.
its input and H ⟨Ĥ⟩ ⟨Ĥ⟩ need not abort the simulation of its input.
Everyone has agreed to this yet no one besides me has ever beenNo, we have agreed that to meet the requirments to be a decider it must, but then that is a requirment on the coder of H to fulfill. It doesn't mean that
able to account for this. It is like they are saying yes this
is a true fact yet in theory it is not true because Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩
and H ⟨Ĥ⟩ ⟨Ĥ⟩ have the same inputs their behavior must be the same.
It is a verified fact that their behavior is not the same andAnd thus it is verified that you are just a stupid ignorant pathoogical lying idiot. because if things were what you claimed, they would act the same.
verified facts supersede theories to the contrary.
Les messages affichés proviennent d'usenet.