史上最难的逻辑谜题、其解决方法和形式化.pptVIP

史上最难的逻辑谜题、其形式化和无解问题 王海若 逻辑11硕 2013.03.20 HLPE 有代号 A, B, C 的三位神祇，只知它们名为“真实、虚谎、任性”，但不知哪个代号属哪个名字。真实之神只说真话，虚谎之神只说假话，而任性之神会随意说真话或假话。你的任务是利用三条是非题，找出 A, B, C 的身份，但每次只能向一位神祇发问。神祇们都懂得你的语言，但只会用它们的语言回答 da 或 ja。这两种回答，一个解“是”，一个解“否”，但你不知道哪个回答是哪个意思。 Boolos 史上最难逻辑谜题（HLPE）由美国哲学与逻辑学家 George Boolos于1996年在其论文The hardest puzzle ever 中提出，问题本身则改编自美国逻辑学家 Raymond Smullyan在其1978年的著作What is the name of this book中提出的谜题。 在该篇文章中间，Boolos首先对该谜题进行了下述四点澄清： 1、你可以问一位神祇多于一条问题，也可以完全不问祂问题。 2、你可以根据之前其他问题的答案，来决定下一条问题的内容。 3、任性之神如何作答，可以想像为祂会在脑中掷铜板，若掷得正面，则回答真话；反面，则答假话。 4、对于只有“是”或“否”两种答案的问题，任性之神只会回答 da 或 ja。