Посмеяться над пересмешником
![]() | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Август 2023 г. ) |
![]() | |
Автор | Раймонд Смалльян |
---|---|
Язык | Английский |
Издатель | Кнопф |
Дата публикации | 1985 |
Место публикации | Соединенные Штаты |
Тип носителя | Распечатать ( в мягкой обложке ) |
Страницы | 246 |
ISBN | 0-19-280142-2 |
ОКЛК | 248314322 |
Издеваться над пересмешником и другими логическими головоломками: включая удивительное приключение в области комбинаторной логики (1985, ISBN 0-19-280142-2 ) — книга математика и логика Рэймонда Смалляна . Он содержит множество нетривиальных развлекательных головоломок, которыми хорошо известен Смалльян. Это также нежное и юмористическое введение в комбинаторную логику и связанную с ней метаматематику , построенное на сложной орнитологической метафоре .
Комбинаторная логика, функционально эквивалентная лямбда-исчислению , представляет собой ветвь символической логики , обладающую выразительной силой теории множеств и глубоко связанную с вопросами вычислимости и доказуемости . Изложение Смалляна представляет собой воображаемый рассказ о двух мужчинах, идущих в лес и обсуждающих необычных «птиц» (комбинаторов), которых они там находят (наблюдение за птицами было хобби одного из основоположников комбинаторной логики, Хаскелла Карри , и другого основателя Моисея Шёнфинкеля Имя означает «красивая птица»). Каждый вид птиц в лесу Смалльяна соответствует определенному типу комбинатора, появляющемуся в традиционной трактовке комбинаторной логики. У каждой птицы есть характерный крик, который она издает, когда слышит крик другой птицы. Следовательно, первоначальный крик определенных «птиц» порождает каскадную последовательность криков нескольких птиц.
Глубоко в лесу обитает пересмешник, который имитирует слух других птиц. Получающийся каскад вызовов и ответов аналогичен абстрактным моделям вычислений . Имея в виду эту аналогию, можно исследовать сложные темы математической теории вычислимости , такие как вычислимость Чёрча – Тьюринга и теорема Гёделя .
Хотя книга начинается с простых загадок, в конечном итоге она переходит к рассказу об инспекторе Крейге из Скотланд-Ярда, который появляется в других книгах Смалляна; путешествуя из леса в лес, узнавая от разных профессоров обо всех видах птиц. Он начинает в определенном заколдованном лесу, затем идет в безымянный лес, затем в Лес Карри (названный в честь Хаскелла Карри), затем в Лес Рассела, затем в Лес без имени, затем в Лес Гёделя и, наконец, в Главный лес. где он также отвечает на Большой Вопрос.
См. также [ править ]
- Комбинаторный расчет SKI
- Система B, C, K, W
- Комбинатор с фиксированной точкой
- Лямбда-исчисление
- Логическая головоломка
- Логические
- Парадокс
Внешние ссылки [ править ]
- Кинан, Дэвид К. (2001) « Препарировать пересмешника » .
- Рэтман, Крис, « . Птицы-комбинаторы »