Sujet : Re: ZFC solution to incorrect questions: reject them
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 15. Mar 2024, 03:14:58
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut07ei$1u3jv$8@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/14/2024 8:09 PM, Richard Damon wrote:
On 3/14/24 5:54 PM, olcott wrote:
On 3/14/2024 7:23 PM, immibis wrote:
On 14/03/24 21:59, olcott wrote:
Then tell me which element of:
∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩)) is correct and make sure that
you explain why this element is correct and don't try to switch
to any other element outside of the above specified set.
>
Syntactically invalid question.
>
In any language that you are familiar with.
>
Well, since the bases of your question is a false premise, there is no language it can be properly expresses in truthfully.
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqy ∞ // Ĥ applied to ⟨Ĥ⟩ halts
Ĥ.q0 ⟨Ĥ⟩ ⊢* Ĥ.Hq0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* Ĥ.Hqn // Ĥ applied to ⟨Ĥ⟩ does not halt
∀Ĥ.H (Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ != Halts(⟨Ĥ⟩, ⟨Ĥ⟩))
There is no false premise above.
If there was you would have already pointed it out.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer