Посмеяться над пересмешником

Посмеяться над пересмешником и другими логическими головоломками: включая удивительное приключение в области комбинаторной логики
Автор	Раймонд Смалльян
Язык	Английский
Издатель	Кнопф
Дата публикации	1985
Место публикации	Соединенные Штаты
Тип носителя	Распечатать ( в мягкой обложке )
Страницы	246
ISBN	0-19-280142-2
ОКЛК	248314322

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

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

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

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

См. также [ править ]

Внешние ссылки [ править ]

Кинан, Дэвид К. (2001) « Препарировать пересмешника » .
Рэтман, Крис, « . Птицы-комбинаторы »