Книга известного американского математика и логика профессора Р. Смаллиана посвящена логическим парадоксам и головоломкам, логико-арифметическим задачам и проблемам разрешимости, связанным с теоремой Геделя. Рассчитана на интересующихся занимательной математикой.
Задачи и парадоксы, иллюстрирующие теоремы о полноте и доказуемости.
Как узнать, в какой комнате находится прекрасная принцесса, а в какой - свирепый тигр? Все ли в порядке в психиатрической лечебнице доктора Смолля и профессора Перро? Можно ли выяснить, кто из жителей мрачной Трансильвании является страшным упырем?
Хитроумный инспектор Крейг из Скотленд-Ярда сталкивается с подобными загадками едва ли не ежедневно и всегда с успехом разрешает их. Но сегодня инспектора ждет особенно трудная задача - нужно подобрать шифр к необычному замку запертого сейфа. Поняв, что одному не справиться, инспектор обращается за помощью к приятелям: специалисту по математической логике и чудаковатому изобретателю цифровых кодирующих машин. Вместе они пускаются в увлекательное путешествие по волнам математической логики, совершая удивительные открытия.