Re: ZFC solution to incorrect questions: reject them

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

On 15/03/24 00:45, olcott wrote:

On 3/14/2024 5:37 PM, Richard Damon wrote:

>
No, YOU don't understand that the IS a correct answer, just not the one that H (or H^.H ) happens to give.
>

>
Then show me which contradicted answer is correct.
>

 D(D) halts so 1 would be the correct answer.

Strawman deception, that is not a contradicted answer from
the following set:
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn   // Ĥ applied to ⟨Ĥ⟩ does not halt
∀Ĥ.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