News for hackers. Stuff that matters.
Re:Unexpected hanging paradox by pieguy on Sunday July 01, 2018 @02:00AM (#17434312)
No, it would not have been a surprise if he were hanged on Friday. The prisoner disproves the existence of a strategy for the judge that guarantees surprise, but does not disprove the existence of a strategy that gives the possibility of surprise.
Re:Unexpected hanging paradox by p1esk on Sunday July 01, 2018 @02:45AM (#17434442)
It would have been a surprise if he were hanged on Friday, because he believes he wouldn't be hanged at all.
Re:Unexpected hanging paradox by pieguy on Sunday July 01, 2018 @02:54AM (#17434462)
He cannot logically conclude that. He can only conclude that either he won't be hanged or his hanging might not be a surprise.
Re:Unexpected hanging paradox by p1esk on Sunday July 01, 2018 @03:27AM (#17434534)
He concludes that because he assumes what the judge said is true. If we assume that, we must reject the scenario where he gets executed without surprise.
Re:Unexpected hanging paradox by pieguy on Sunday July 01, 2018 @11:45AM (#17436012)
> he believes he wouldn't be hanged at all

> he assumes what the judge said is true

The judge says he will be hanged. Your comments are inconsistent.

Re:Unexpected hanging paradox by p1esk on Sunday July 01, 2018 @12:28PM (#17436220)
Actually, you're right. However, the paradox arises no matter what the prisoner concludes. If he concludes that the hanging won't be a surprise, he will be surprised by the outcome (the knock on Wednesday).
Re:Unexpected hanging paradox by pieguy on Sunday July 01, 2018 @01:35PM (#17436543)
Let me say it again in a different way. My resolution of the paradox is that the prisoner incorrectly negates "x will happen" as "x won't happen" instead of negating "x definitely will happen" as "x might not happen". Thus,the prisoner cannot conclude that the hanging won't be a surprise. The prisoner can only conclude that the hanging might not be a surprise.
Re:Unexpected hanging paradox by p1esk on Monday July 02, 2018 @02:38PM (#17444300)
It seems like you're right again, but I don't have time to think more about this at the moment, unfortunately.