Simplified Halting Problem Proof Rebuttal
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
If you start with the ordinary meanings of the English words that
would be a good estimate of their meaning. You won't do this
because your only purpose is to Trollishly thwart any honest dialogue.
would be a good estimate of their meaning. You won't do this
because your only purpose is to Trollishly thwart any honest dialogue.
Re: Simplified Halting Problem Proof Rebuttal
And using the good estimate of the English words I answered the question with a "No."PeteOlcott wrote: ↑Sun Oct 15, 2023 6:39 pm If you start with the ordinary meanings of the English words that
would be a good estimate of their meaning. You won't do this
because your only purpose is to Trollishly thwart any honest dialogue.
Can Carol correctly answer “no” to this [yes/no] question? No, Carol cannot correctly answer "no" to this [yes/no] question.
And you don't like it. Why?
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
Finally an honest reply!Skepdick wrote: ↑Sun Oct 15, 2023 7:23 pmAnd using the good estimate of the English words I answered the question with a "No."PeteOlcott wrote: ↑Sun Oct 15, 2023 6:39 pm If you start with the ordinary meanings of the English words that
would be a good estimate of their meaning. You won't do this
because your only purpose is to Trollishly thwart any honest dialogue.
Can Carol correctly answer “no” to this [yes/no] question? No, Carol cannot correctly answer "no" to this [yes/no] question.
And you don't like it. Why?
It is not that I don't like it.
It is that Carol's question for Carol is isomorphic to input D that does the
opposite of whatever Boolean value that halt decider H returns.
Carol's question posed to Carol and Input D to H are both examples of
self-contradictory questions thus are incorrect in the same way that
self-contradictory statements are incorrect.
With incorrect questions the blame for not correctly answering them
belongs with the question and not the one answering this question.
Re: Simplified Halting Problem Proof Rebuttal
You appear to be confused.PeteOlcott wrote: ↑Sun Oct 15, 2023 7:57 pmFinally an honest reply!Skepdick wrote: ↑Sun Oct 15, 2023 7:23 pmAnd using the good estimate of the English words I answered the question with a "No."PeteOlcott wrote: ↑Sun Oct 15, 2023 6:39 pm If you start with the ordinary meanings of the English words that
would be a good estimate of their meaning. You won't do this
because your only purpose is to Trollishly thwart any honest dialogue.
Can Carol correctly answer “no” to this [yes/no] question? No, Carol cannot correctly answer "no" to this [yes/no] question.
And you don't like it. Why?
It is not that I don't like it.
It is that Carol's question for Carol is isomorphic to input D that does the
opposite of whatever Boolean value that halt decider H returns.
Carol's question posed to Carol and Input D to H are both examples of
self-contradictory questions thus are incorrect in the same way that
self-contradictory statements are incorrect.
With incorrect questions the blame for not correctly answering them
belongs with the question and not the one answering this question.
The question was correctly answered with a "No".
And the justification for the answer was precisely "I (Carol), cannot correctly answer "no" to this [yes/no] question."
Which is correct.
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
Can Carol correctly answer “no” to this [yes/no] question?
When anyone besides Carol answers "no" their answer is correct.
From the original paper:
In other words when Carol answers "no" that means that sheLet's ask Carol. If she says “yes”, she's saying that “no”
is the correct answer for her, so “yes” is incorrect. If she says
“no”, she's saying that she cannot correctly answer “no”, which
is her answer. So both answers are incorrect.
is saying that her answer of "no" is incorrect.
If she is right then she just agreed that her current answer
is wrong, otherwise she is wrong.
Re: Simplified Halting Problem Proof Rebuttal
PeteOlcott wrote: ↑Mon Oct 16, 2023 4:54 pm Can Carol correctly answer “no” to this [yes/no] question?
When anyone besides Carol answers "no" their answer is correct.
PeteOlcott wrote: ↑Mon Oct 16, 2023 4:54 pm In other words when Carol answers "no" that means that she
is saying that her answer of "no" is incorrect.
It is 100% correct that she cannot answer correctly.
She is 100% right that her answering "no" is not right.PeteOlcott wrote: ↑Mon Oct 16, 2023 4:54 pm If she is right then she just agreed that her current answer is wrong, otherwise she is wrong.
Carol is way smarter than you and skillfully avoids your lame attempts at contradictory entrapment.
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
If she is 100% right that answering "no" is not right and she just
answered "no" then she acknowledged that the "no" answer that
she just provided is wrong.
Re: Simplified Halting Problem Proof Rebuttal
Correct! Carol is right that her answering "no" is wrong.PeteOlcott wrote: ↑Mon Oct 16, 2023 8:35 pm If she is 100% right that answering "no" is not right and she just
answered "no" then she acknowledged that the "no" answer that
she just provided is wrong.
Which sticks you with the recursive self-reference again.
Does Carol being right about being wrong make Carol right; or wrong.
Does Carol being wrong about being right make Carol right; or wrong.
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
When Carol agrees that she is wrong this makes her right thus incorrect that she is wrong.
It is essentially merely a more complex case of the Liar Paradox:
"This sentence is not true" is not true, yet that does not make it true.
Re: Simplified Halting Problem Proof Rebuttal
Who cares if it's true? It's correct, meaningful and coherent.PeteOlcott wrote: ↑Mon Oct 16, 2023 9:16 pm When Carol agrees that she is wrong this makes her right thus incorrect that she is wrong.
It is essentially merely a more complex case of the Liar Paradox:
"This sentence is not true" is not true, yet that does not make it true.
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
When Carol says "no" indicating that "no" is an incorrect answerSkepdick wrote: ↑Mon Oct 16, 2023 9:25 pmWho cares if it's true? It's correct, meaningful and coherent.PeteOlcott wrote: ↑Mon Oct 16, 2023 9:16 pm When Carol agrees that she is wrong this makes her right thus incorrect that she is wrong.
It is essentially merely a more complex case of the Liar Paradox:
"This sentence is not true" is not true, yet that does not make it true.
this makes "no" the correct answer thus not incorrect thus Carol is wrong.
Re: Simplified Halting Problem Proof Rebuttal
Yes. Carol said so herself! She said she's right about being wrong.PeteOlcott wrote: ↑Mon Oct 16, 2023 9:35 pm When Carol says "no" indicating that "no" is an incorrect answer
this makes "no" the correct answer thus not incorrect thus Carol is wrong.
Shame, seems your computer is failing to halt there...
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Simplified Halting Problem Proof Rebuttal
Making her wrong.Skepdick wrote: ↑Mon Oct 16, 2023 10:23 pmYes. Carol said so herself! She said she's right about being wrong.PeteOlcott wrote: ↑Mon Oct 16, 2023 9:35 pm When Carol says "no" indicating that "no" is an incorrect answer
this makes "no" the correct answer thus not incorrect thus Carol is wrong.
Can Carol correctly answer “no” to this [yes/no] question?
Is a self-contradictory thus incorrect question for Carol
in the exact same way that
Does your input D halt on its input?
is a is a self-contradictory thus incorrect question for H
when D does the opposite of whatever Boolean value that H returns.
Re: Simplified Halting Problem Proof Rebuttal
Yes, but she's right about that!
PeteOlcott wrote: ↑Mon Oct 16, 2023 10:34 pm Does your input D halt on its input?
is a is a self-contradictory thus incorrect question for H
when D does the opposite of whatever Boolean value that H returns.
Liar liar, pants on fire!!!
-
- Posts: 1557
- Joined: Mon Jul 25, 2016 6:55 pm