Игры для ума: история и будущее логических головоломок на русском

Увлекательный и занимательный взгляд на логические головоломки и их роль в математике, философии и развлечениях.

Логические головоломки впервые были представлены публике Льюисом Кэрроллом в конце XIX века и с тех пор пользуются неизменной популярностью. Такие игры, как судоку и «Мастермайнд», — это увлекательные и захватывающие развлечения, но они также имеют глубокие корни в математической логике и заслуживают серьезного интеллектуального изучения. Книга «Игры для вашего ума» исследует историю и будущее логических головоломок, позволяя вам проверить свои навыки, решая различные задачи.

В этой познавательной и увлекательной книге Джейсон Розенхаус начинает с знакомства читателей с логикой и логическими головоломками, а затем раскрывает богатую историю этих головоломок. Он показывает, как головоломки Кэрролла представляли аристотелевскую логику как игру для детей, но при этом влияли на его научные работы по логике. Он рассказывает, как другой пионер логических головоломок, Раймонд Смульян, использовал классические головоломки о лжецах и правдоискателях для иллюстрации теорем Курта Гёделя и освещения глубоких вопросов математической логики. Затем Розенхаус представляет новое видение будущего логических головоломок, основанное на неклассической логике, которая сегодня используется в информатике и автоматизированном рассуждении для обработки больших и порой противоречивых наборов данных.

В этой увлекательной книге собрано множество примеров головоломок, от простых до чрезвычайно сложных, включая самые оригинальные из когда-либо придуманных, в том числе «Самую сложную логическую головоломку в истории», метаголоволомки, парадоксы и логические головоломки из детективных рассказов.