Sujet : Re: ZFC solution to incorrect questions: reject them --discourse context --
De : news (at) *nospam* immibis.com (immibis)
Groupes : sci.logic comp.theoryDate : 18. Mar 2024, 06:49:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut8h5g$m2e$5@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 18/03/24 05:40, olcott wrote:
When H1 says YES it is right.
When H says YES it is wrong.
Any halt decider is right to say YES on the input (D,D) if and only if D(D) halts.