Re: Halting Problem is wrong two different ways

On 2024-06-05 17:09:18 +0000, olcott said:

On 6/5/2024 12:03 PM, John Smith wrote:

On 5/06/24 04:16, olcott wrote:

On 6/4/2024 9:12 PM, John Smith wrote:

On 5/06/24 04:05, olcott wrote:

On 6/4/2024 8:48 PM, Richard Damon wrote:

But the question it asks is an OBJECTIVE question that doesn't depend on who it is asked of.
 

 When H is asked about the behavior of a Machine that is programmed
to do the opposite of whatever it says then the context that it is H
that is being asked is an inherent aspect of the meaning of this
question and cannot be correctly ignored.

 Every machine does something. It either halts, or it doesn't. If a machine halts, then it halts even if you ask someone different. If the machine halts when I ask Bob whether it halts and he says it halts, then it still halts when I ask Alice whether it halts and she says it doesn't halt. Alice is wrong. The linguistic context doesn't change the fact that it halts.

 Professor Hehner proves my same point with Carol's question.
https://www.cs.toronto.edu/~hehner/OSS.pdf
 Richard found a loophole that I fixed and told professor Hehner about:
Can Carol correctly answer “no” to this (yes/no) question?
 

 It's not "Can Carol" - it's "Does Carol"

 *Disagreeing with verified facts does not count as any rebuttal*
I inserted "(yes/no)" to close the loophole that Richard found.

That addition does not constrain what Carol can say. Whether that
makes "Absolutely not" an incorrect answer is another problem.
--
Mikko