Liste des Groupes | Revenir à s logic |
On 3/10/2024 1:07 PM, immibis wrote:Since you just repeat the same arguement, and fail to point out errors in the counter facts presents, it is clear that you KNOW you can't go any deeper into you your argument, because like most lies, it falls appart when looked at too closely.On 10/03/24 17:52, olcott wrote:*Here is proof that what you said is counterfactual*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.
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.