Передразнить пересмешника и другие логические загадки

Комбинаторная логика - это абстрактная научная дисциплина, имеющая дело с объектами называемыми комбинаторами. В качестве своих комбинаторов автор выбрал птиц. Сделано это было в память о профессоре Хаскеле Карри, который был и великим комбинаторным логиком и страстным любителем птиц. Главная причина, по которой он сделал комбинаторную логику основной темой этой книги, заключается не в многочисленных практических приложениях такой логики, а в ее большой привлекательности. Эта область считается сугубо технической, тем не менее, она доступна широкой публике, она полным-полна материалом, из которого можно извлечь развлекательные загадки. В то же время она связана с фундаментальными вопросами современной логики. Что может быть лучше для книги логических загадок?
Отзывы не найдены