М.: Мир, 1985. — 221 с.
У вас в руках новая ослепительная коллекция блестящих задач и
парадоксов, предложенных одним из самых выдающихся логиков и
специалистов по теории множеств, когда-либо работавших в этой
области. Как и во всех остальных книгах головоломок, написанных
профессором Смаллианом, с помощью его фантазии вы попадаете в неведомую, почти ирреальную область современной математики, где расходящиеся во всех направлениях «гёделевы» коридоры направят вас к эффектным теоремам о свойствах истины и доказуемости. Содержание:
От редактора перевода.
Предисловие.
Принцесса или тигр?
Задачки с подвохом — старые и новые.
Принцесса или тигр?
Лечебница доктора Смолля и профессора Перро.
Инспектор Крейг в Трансильвании.
Головоломки и метаголоволомки.
Остров Вопрошаек.
Остров Сновидений.
Метаголоволомки.
Тайна сейфа из Монте-Карло.
Тайна сейфа из Монте-Карло.
Удивительная числовая машина.
Принцип Крейга.
Законы Фергюссона.
Остановимся и попробуем обобщит.
Ключ.
Разрешима или неразрешима наша задача?
Логическая машина Фергюссона.
Доказуемость и истина.
Машины, рассказывающие о себе.
Вечные и отмирающие числа.
Машина, которая так и не была создана.
Мечта Лейбница.
профессором Смаллианом, с помощью его фантазии вы попадаете в неведомую, почти ирреальную область современной математики, где расходящиеся во всех направлениях «гёделевы» коридоры направят вас к эффектным теоремам о свойствах истины и доказуемости. Содержание:
От редактора перевода.
Предисловие.
Принцесса или тигр?
Задачки с подвохом — старые и новые.
Принцесса или тигр?
Лечебница доктора Смолля и профессора Перро.
Инспектор Крейг в Трансильвании.
Головоломки и метаголоволомки.
Остров Вопрошаек.
Остров Сновидений.
Метаголоволомки.
Тайна сейфа из Монте-Карло.
Тайна сейфа из Монте-Карло.
Удивительная числовая машина.
Принцип Крейга.
Законы Фергюссона.
Остановимся и попробуем обобщит.
Ключ.
Разрешима или неразрешима наша задача?
Логическая машина Фергюссона.
Доказуемость и истина.
Машины, рассказывающие о себе.
Вечные и отмирающие числа.
Машина, которая так и не была создана.
Мечта Лейбница.