Издеваться над пересмешником - To Mock a Mockingbird

Не путать с Убить пересмешника.
Издевательство над пересмешником и другие логические головоломки: включая удивительное приключение в комбинаторной логике
Поиздеваться над пересмешником.jpg
АвторРаймонд Смуллян
СтранаСоединенные Штаты
Языканглийский
ИздательKnopf
Дата публикации
1985
Тип СМИРаспечатать (Мягкая обложка )
Страницы246
ISBN0-19-280142-2
OCLC248314322

Издевательство над пересмешником и другие логические головоломки: включая удивительное приключение в комбинаторной логике (1985, ISBN  0-19-280142-2) - это книга математик и логик Раймонд Смуллян. Он содержит множество нетривиальных развлекательных головоломок, которыми хорошо известен Смуллян. Это также нежное и юмористическое введение в комбинаторная логика и связанные метаматематика, построенный на сложной орнитологический метафора.

Комбинаторная логика, функционально эквивалентный лямбда-исчисление, это ветвь символическая логика обладающий выразительной силой теория множеств, и глубоко связан с вопросами вычислимость и доказуемость. Экспозиция Смулляна представляет собой воображаемый рассказ о двух мужчинах, идущих в лес и обсуждающих встречающихся там необычных «птиц» (комбинаторов) (наблюдение за птицами было хобби одного из основоположников комбинаторной логики, Хаскелл Карри, и еще один основатель Моисея Шенфинкеля имя означает красивая птица). Каждый вид птиц в лесу Смулляна символизирует определенный вид комбинатор появляется в традиционной трактовке комбинаторной логики. У каждой птицы есть характерный зов, который она издает, когда слышит зов другой птицы. Следовательно, первоначальный крик некоторых «птиц» приводит к каскадной последовательности криков ряда птиц.

Глубоко в лесу обитает пересмешник, который имитирует слышащих самих себя птиц. Результирующий каскад звонков и ответов аналогичен абстрактному модели вычислений. Имея в руках эту аналогию, можно исследовать сложные темы математической математики. теория вычислимости, Такие как Вычислимость Черча – Тьюринга и Теорема Гёделя.

Хотя книга начинается с простых загадок, в конечном итоге она переходит к рассказу об инспекторе Крейг из Скотланд-Ярда, который появляется в других книгах Смулляна; путешествуя из леса в лес, изучая разные виды птиц у разных профессоров. Он начинает свой путь в каком-то заколдованном лесу, затем идет в безымянный лес, затем в Лес Карри (названный в честь Хаскелл Карри ), затем в Лес Рассела, затем в Лес без имени, затем в Гёделя Forest и, наконец, в The Master Forest, где он также отвечает на Большой вопрос.

Смотрите также

внешняя ссылка