Liste des Groupes | Revenir à s logic |
On 3/14/2024 7:22 PM, immibis wrote:Ĥ.H isn't even asked any question. It just runs until it halts and then returns some result.On 14/03/24 21:26, olcott wrote:That you don't care about the foundations of computation is irrelevant.The question posed to Ĥ.H has no correct answer, thus not the>
same question at all.
nobody cares what question is posed to Ĥ.H. How long are you going to keep trying to get away with this strawman deception?
When-so-ever anyone or anything is asked a question that is logically
impossible for them to correctly answer this places no actual limit
and anyone, anything, or computation.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩))
It is logically impossible
∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩))
Les messages affichés proviennent d'usenet.