Liste des Groupes | Revenir à s logic |
On 12/03/24 03:52, olcott wrote:*I address this in my reply to Richard in my new post*On 3/11/2024 9:32 PM, immibis wrote:Once we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.On 12/03/24 03:24, olcott wrote:>On 3/11/2024 9:13 PM, immibis wrote:>>>>*This is my unique contribution to the field of the Halting Problem*>
*This is my unique contribution to the field of the Halting Problem*
*This is my unique contribution to the field of the Halting Problem*
>
When we ask H ⟨Ĥ⟩ ⟨Ĥ⟩:
Does your input halt on its input?
We do not ask it that. We ask it whether Ĥ halts on input ⟨Ĥ⟩. This is an objective specification, not subjective.
>
When we ask Ĥ.H ⟨Ĥ⟩ ⟨Ĥ⟩ whether Ĥ halts on input ⟨Ĥ⟩
both YES and NO are the wrong answer for Ĥ.H.
Once we understand that either YES or NO is the right answer, the whole rebuttal is tossed out as invalid and incorrect.
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.
That people keep trying to get away with the strawman deception on this is very telling.
Les messages affichés proviennent d'usenet.