大脑游戏

杰森Rosenhouse的思维游戏:逻辑谜题的历史和未来(普林斯顿大学，2020年)是关于一整套逻辑谜题。你会发现策划和数独在早期被讨论过，然后你会被一系列令人难以置信的最有趣的逻辑谜题所击中。有些是你熟悉的，但有些几乎肯定是你从未听说过的脑筋急转弯。这绝对是令人惊讶的，一个真正深刻的领域是如何从娱乐消遣中成长起来的——这本书是一个绝对的宝藏，里面的东西让你忍不住去想。如果你喜欢逻辑，你肯定会被吸引进去——但你会享受这个过程。

逻辑谜题是由刘易斯·卡罗尔在19世纪晚期首次介绍给公众的，从那时起就一直很受欢迎。数独游戏和智谋游戏是有趣而引人入胜的娱乐活动，但它们也具有深厚的数学逻辑基础，值得进行认真的智力探索。大脑游戏探索逻辑谜题的历史和未来，同时让你自己测试各种谜题的技能。

在这本信息丰富且有趣的书中，杰森·罗森豪斯首先向读者介绍了逻辑和逻辑谜题，并继续揭示了这些谜题的丰富历史。他展示了卡罗尔的谜题如何将亚里士多德的逻辑作为一种儿童游戏，同时也为他在逻辑方面的学术工作提供了信息。他揭示了逻辑谜题的另一个先驱Raymond Smullyan如何利用关于说谎者和说实话者的经典谜题来说明Kurt Gödel的定理，并阐明数学逻辑中的深刻问题。Rosenhouse随后提出了一种基于非经典逻辑的逻辑谜题的新愿景，这种逻辑谜题今天被用于计算机科学和自动推理，以处理大量有时相互矛盾的数据集。

具有丰富的样本谜题，从简单到极具挑战性，这本生动而引人入胜的书汇集了许多最巧妙的谜题，包括最难的逻辑谜题，元谜题，悖论，和侦探故事中的逻辑谜题。