HackerPapers

arXiv:1206.1926math.LO

The hardest logic puzzle ever becomes even tougher

Nikolay Novozhilov

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.

arXiv comments
Journal reference
DOI
Subjects
math.LOLogic cs.AIArtificial Intelligence

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from May 2018 to May 2018.

Comments linking this paper, per year.

Discussed in comments1 thread

    • 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

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.