Чтобы поиздеваться над пересмешником
-
Описание книги «Поиздеваться над пересмешником»
- Автор: Рэймонд Смаллян, математик и логик
- Год издания: 1985, ISBN 0-19-280142-2
- Содержит головоломки и введение в комбинаторную логику
-
Комбинаторная логика и метаматематика
- Комбинаторная логика — раздел символической логики с выразительной силой теории множеств
- Имеет связи с вычислимостью и доказуемостью
-
Орнитологическая метафора
- Птицы в лесу Смалляна символизируют комбинаторы
- Каждый вид птиц издает особый крик, вызывая каскад ответов
- Птица-пересмешник подражает другим птицам, отражая абстрактные модели вычислений
-
Сюжетная линия
- Начинается с простых загадок, переходит к инспектору Крейгу из Скотленд-Ярда
- Крейг путешествует по разным лесам, учится у профессоров о птицах
- Исследует продвинутые разделы теории вычислимости, включая Черча-Тьюринга и теорему Геделя
-
Дополнительные материалы
- Ссылки на другие логические головоломки и парадоксы
- Упоминание книги «Препарировать пересмешника» Кинана и статьи «Птицы-комбинаторы» Ратмана
Полный текст статьи: