Pith. sign in

REVIEW

An Impossible Asylum

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2112.02142 v2 pith:R5SCXJNP submitted 2021-12-03 math.LO cs.LO

Jeremy Avigad , Seulkee Baek , Alexander Bentkamp , Marijn Heule , Wojciech Nawrocki This is my paper · ORCID
classification math.LOcs.LO
keywords asylumpuzzlepuzzlesalludedanthologyarticleautomatedconsists
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Pith tools