arXiv:1206.1926math.LO
The hardest logic puzzle ever becomes even tougher
Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.
Abstract
"The hardest logic puzzle ever" presented by George Boolos became a target for philosophers and logicians who tried to modify it and make it even tougher. I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible. The solution also gives interesting ideas on logic behind discovery of unknown language.
As to the dots, I enjoyed this variation from xkcd, where I first encountered it: https://xkcd.com/blue_eyes.html It massively improved our play at Hanabi: https://boardgamegeek.com/boardgame/98778/hanabi Probably would be a useful puzzle for improving your Spades or Bridge…
brownbatView on HNParent context