如何解决《有史以来最难的逻辑谜题》及其泛化
摘要：布尔洛斯称之为“有史以来最难的逻辑谜题”的难题是由雷蒙德·斯穆利安提出的。这个难题涉及诚实的、说谎的和随机回答是是非非的神，他们的回答中包含我们不知道意义的词语。挑战在于确定每个神是哪种类型。这个难题引起了一些普遍的关注——例如，这个难题的一种流行呈现方式已经被观看了1000万次。对这个难题有了各种“自上而下”的解决方案。本文介绍了一种系统的自下而上方法来解决这个难题及其推广。我们证明了，当随机神数少于非随机神数时，n个神难题是可解的。我们利用4.15个问题解决了一个包含2个随机神和3个说谎神的5个神难题变种。还有一个关于数学思维与计算思维之间的附带讨论。
作者：Daniel Vallstrom
论文ID：2201.09801
分类：General Mathematics
分类简称：math.GM
提交时间：2023-01-03