Sujet : Re: ZFC solution to incorrect questions: reject them --discourse context --
De : news (at) *nospam* immibis.com (immibis)
Groupes : sci.logic comp.theoryDate : 16. Mar 2024, 23:10:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ut51t1$335e0$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 16/03/24 20:55, olcott wrote:
Ĥ.H is not gagged unable to answer.
Every element of the infinite set of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ only gets
the wrong answer because its answer is contradicted.
I've noticed that every time you talk about "every" or "infinite sets" it doesn't make sense.
"The infinite set of Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩" doesn't make a lot of sense the way it's written.
It's true that for every program P (I will not call it H because that will confuse you), P(GetCounterexampleProgram(P), GetCounterexampleProgram(P)) != Halts(GetCounterexampleProgram(P), GetCounterexampleProgram(P))
This does not mean that Halts(GetCounterexampleProgram(P), GetCounterexampleProgram(P)) has no answer.