Sujet : Re: Verified fact that Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ and H ⟨Ĥ⟩ ⟨Ĥ⟩ have different behavior ZFC --new focus--
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theory sci.logicDate : 12. Mar 2024, 05:31:02
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <usoi9m$1j3v1$5@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 3/11/24 7:52 PM, olcott wrote:
On 3/11/2024 9:32 PM, immibis wrote:
On 12/03/24 03:24, olcott wrote:
\
Troll detected.
>
>
Once we understand that either YES or NO is the right answer
Not for this decider/input question: Ĥ.H / ⟨Ĥ⟩ ⟨Ĥ⟩
For that decider/input question both YES and NO are the wrong answer.
The problem that you keeep on missing is that by the point we can ask this question, H and H^ are FULLY CODED, and thus we know their behavirs.
If H (H^) (H^) goes to qn, and thus H^,H (H^) (H^) goes to qn, then we know that H^ (H^) goes to qn and Halts, and thus we DO have a correct answer, it is Halting (qy)
On the other hand, If H (H^) (H^) goes to qy, and thus H^,H (H^) (H^) goes to qy, then we know that H^ (H^) goes to qy and then loops, and thus we DO have a correct answer, it is Not Halting (qn)
Your dumb troll brain keeps forgetting that H is a DEFINED DEFINITE PROGRAM when we ask the question, and it can only give the answer it was programmed to give.
That people keep trying to get away with the strawman deception on
this is very telling.
Nope, we seem to have Olcott Straw Trolls.
, the whole rebuttal is tossed out as invalid and incorrect.
>
Once we don't understand that YES or NO is the right answer, we call the other person a troll.
>