An Impossible Asylum
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:R5SCXJNPrecord.jsonopen to challenge →
classification
math.LO
cs.LO
keywords
asylumpuzzlepuzzlesalludedanthologyarticleautomatedconsists
read the original abstract
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology, "The Lady or The Tiger? and Other Logic Puzzles." The last puzzle, which describes the asylum alluded to in the title, was designed to be especially difficult. With the help of automated reasoning, we show that the puzzle's hypotheses are, in fact, inconsistent, which is to say, no such asylum can possibly exist.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.