Re: ZFC solution to incorrect questions: reject them

On 2024-03-15 00:56:54 +0000, olcott said:

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(⟨Ĥ⟩, ⟨Ĥ⟩))

False. That "D(D) halts so 1 would be the correct answer." is true.
It is contradicted by H(D,D) that says 0. Being in "following set",
which is not a set, was not asked.
--
Mikko