Sujet : Re: ZFC solution to incorrect questions: reject them --discourse context --
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 16. Mar 2024, 22:00:18
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut4toi$32b79$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 3/16/2024 2:57 PM, immibis wrote:
On 16/03/24 19:53, olcott wrote:
It is not the case that Ĥ.H or Carol are prevented from
answering by being gagged as you suggest.
>
It is that every answer they do provide is contradicted
They only provide one answer.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
Every Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ that provides any answer is contradicted.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer