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