Sujet : Re: ZFC solution to incorrect questions: reject them
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 15. Mar 2024, 02:23:24
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut04ds$1tp1b$2@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 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.