史上最难的逻辑谜题、其解决方法和形式化.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。 接着Boolos先解决了三个较小的逻辑谜题，然后将其解决方式应用到HLPE中。Boolos解决谜题的核心思想是利用当且仅当句式，例如：“‘da’的意思是‘是’ 当且仅当 Dushanbe在Tajikistan吗？” 这种问句消除了被提问者的类型不同导致的回答差异。在文章的末尾，Boolos肯定了排中律在人们进行可能性推理和日常推理中的必不可少的地位。 Robert 在Boolos发表了这篇论文之后，Tim S. Robert、Brain Rabern、Gabriel Uzquiano、Gregory Wheeler以及刘奋荣等相继对HLPE提出不同的解决方式或变体。 Robert在some thoughts about the hardest logic puzzle ever中对HLPE做出了四个评述并随后给出了一套更为简单和自然的解决方法，这里列出他的四个评述： 1、HLPE相较于其他大多数相似谜题的难点在于：引入了一个任意作答的神祗，以及用“da”和“ja”来表示“是”和“否”，却不给出哪个回答表示哪个意思。 2、因为第一个问题的提问对象可能是任性之神，所以第一次提问似乎永远都不能得到任何有效的信息。 3、共有12种不同的可能性，而3次回答最多只能区分8种情况（2乘2乘2），所以，任何使我们知道三个神祗的身份的解决方法都不能解释“da”和“ja”分别表示什么意思。 4、Boolos的解决方法太过复杂，当且仅当句式很不自然 Robert采用的问句形式是“如果我问你Q，你会回答‘da’吗？”。只要回答者不是任性之神，则回答“da”意味着Q是真的，回答“ja”意味着Q 是假的。这种问句形式在以后的相关论文中被广泛采用，并且被命名为嵌入问题定理。在论文的最后，Robert给读者列出了两个谜题变体，但似乎没有后续研究对此进行讨论。 RabernRabern Brain Rabern和Landon Rabern在2008年发表了一篇论文名为A simple solution to the hardest logic puzzle ever. 这篇论文的最大贡献是阐明了嵌入问题引理，并且修正了Boolos的谜题。 在Boolos的谜题中，任性之神回答问题是根据在脑中掷铜板，正面则说真话，反面则说假话。“然而，”该论文中写道：“这种做法完全丢失了原始Smullyan谜题的精神。”因为无论是掷到铜板的正面或反面，任性之神都必须说真话或假话。按照嵌入问题引理，让其回答诸如“如果我问你北京是不是在中国，你会回答‘ja’吗？”时，任性之神永远只能回答“ja”。 基于此，论文给出了HLPE的修正版：有代号 A, B, C 的三位神祇，只知它们名为“真实、虚谎、任性”，但不知哪个代号属哪个名字。真实之神只说真话，虚谎之神只说假话，而任性之神会随意说“da”和“ja”。你的任务是利用三条是非题，找出 A, B, C 的身份，但每次只能向一位神祇发问。神祇们都懂得你的语言，但只会用它们的语言回答 “da” 或 “ja”。这两种回答，一个解“是”，一