Liste des Groupes | Revenir à s logic |
On 10/03/24 19:29, olcott wrote:The part that you erased Troll!!!On 3/10/2024 1:07 PM, immibis wrote:where is the proof? I see a bunch of bullshit, but no proof.On 10/03/24 17:52, olcott wrote:>Unlike anything else that anyone else has ever done both H ⟨Ĥ⟩ ⟨Ĥ⟩>
and Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ correctly determine that they must abort their own
simulation to prevent their own infinite execution.
Wrong, they incorrectly determine this because they determine this even though it is not true.
*Here is proof that what you said is counterfactual*
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ halts
H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt
>
Execution trace of Ĥ applied to ⟨Ĥ⟩
(a) Ĥ.q0 The input ⟨Ĥ⟩ is copied then transitions to Ĥ.H
(b) Ĥ.H applied ⟨Ĥ⟩ ⟨Ĥ⟩ (input and copy) simulates ⟨Ĥ⟩ applied to ⟨Ĥ⟩
(c) which begins at its own simulated ⟨Ĥ.q0⟩ to repeat the process
>
*Since I proved that you are wrong about many times you must be a Troll*
*Since I proved that you are wrong about many times you must be a Troll*
*Since I proved that you are wrong about many times you must be a Troll*
>
Les messages affichés proviennent d'usenet.