# An Impossible Asylum

@article{Avigad2021AnIA, title={An Impossible Asylum}, author={Jeremy Avigad and Seulkee Baek and Alexander Bentkamp and Marijn J. H. Heule and Wojciech J. Nawrocki}, journal={ArXiv}, year={2021}, volume={abs/2112.02142} }

In 1982,Raymond Smullyan published anarticle,“The Asylum of Doctor Tarr andProfessor 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 diﬃcult. 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.

## References

SHOWING 1-10 OF 21 REFERENCES

### The Lady or the Tiger?: And Other Logic Puzzles

- Psychology
- 1984

"The Lady or the Tiger?" is a series of logic puzzles, ranging from the simplest problems to the most complex. An array of imaginary characters -- sane and insane vampires, psychiatrists, dreamers,…

### A concise introduction to mathematical logic

- Philosophy
- 2006

The third edition is a thorough and expanded revision of the former and contains basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gdels Incompleteness Theorems, and applications of mathematical logic.

### First-Order Theorem Proving and Vampire

- Computer ScienceCAV
- 2013

The superposition calculus is discussed and the key concepts of saturation and redundancy elimination are explained, present saturation algorithms and preprocessing, and demonstrate how these concepts are implemented in Vampire.

### Handbook of Practical Logic and Automated Reasoning

- Psychology
- 2009

This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning, with reference to actual implementations that readers can use, modify and experiment with.

### Decision Procedures - An Algorithmic Point of View

- Computer ScienceTexts in Theoretical Computer Science. An EATCS Series
- 2008

This book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.

### Mechanization of Mathematics

- Materials ScienceNature
- 1950

Calculating Instruments and MachinesBy Prof. Douglas R. Hartree. Pp. ix + 138. (Urbana, Ill.: University of Iillinois Press: London: Cambridge University Press, 1949.) 21s.

### The science of brute force

- EducationCommun. ACM
- 2017

Mathematics solves problems by pen and paper. CS helps us to go far beyond that.