Принцесса или тигр?
- От редактора перевода. ⇢
- Предисловие. ⇢
- Часть первая. Принцесса или тигр? ⇢
- 1. Задачки с подвохом — старые и новые. ⇢
- Решения. ⇢
- 2. Принцесса или тигр? ⇢
- Испытания первого дня.
- День второй.
- Третий день.
- Четвертый день.
- Решения. ⇢
- 3. Лечебница доктора Смолля и профессора Перро. ⇢
- Решения. ⇢
- 4. Инспектор Крейг в Трансильвании. ⇢
- Первые пять расследований.
- Пять семейных пар.
- Еще две непредвиденные головоломки.
- Решения. ⇢
- Часть вторая. Головоломки и метаголоволомки. ⇢
- 5. Остров Вопрошаек. ⇢
- Странная встреча.
- Кто волшебник?
- Призовая задача.
- Решения. ⇢
- 6. Остров Сновидений. ⇢
- Эпилог.
- Решения. ⇢
- 7. Метаголоволомки. ⇢
- Решения. ⇢
- Часть третья. Тайна сейфа из Монте-Карло. ⇢
- 8. Тайна сейфа из Монте-Карло. ⇢
- 9. Удивительная числовая машина. ⇢
- Решения. ⇢
- 10. Принцип Крейга. ⇢
- Операционные числа.
- Принцип Крейга.
- Некоторые варианты принципа Крейга.
- Решения. ⇢
- 11. Законы Фергюссона. ⇢
- Решения. ⇢
- 12. Остановимся, попробуем обобщить! ⇢
- Решения. ⇢
- 13. Ключ. ⇢
- Эпилог.
- Решения. ⇢
- Часть четвертая. Разрешима или неразрешима наша задача? ⇢
- 14. Логическая машина Фергюссона. ⇢
- Загадка Гёделя.
- Заключение.
- Решения. ⇢
- 15. Доказуемость и истина. ⇢
- Утверждения Гёделя и теорема Тарского.
- Двойственная форма доказательства Гёделя.
- Решения. ⇢
- 16. Машины, рассказывающие о себе. ⇢
- Две машины, толкующие о себе, а также друг о друге.
- Машина Мак-Каллоха и теоремы Геделя.
- Решения. ⇢
- 17. Вечные отмирающие числа. ⇢
- Решения. ⇢
- 18. Машина, которая так и не была создана. ⇢
- Решение. ⇢
- 19. Мечта Лейбница. ⇢
- Примечания. ⇢
Рэймонд М. Смаллиан.