Re: ZFC solution to incorrect questions: reject them

On 3/14/2024 7:22 PM, immibis wrote:

On 14/03/24 21:26, olcott wrote:

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?

That you don't care about the foundations of computation is irrelevant.
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(⟨Ĥ⟩, ⟨Ĥ⟩))
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer