TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

A brief meditation on formal systems and lying goblins

64 点作者 mprast2 个月前

7 条评论

schoen2 个月前
An oddity here (that I think Smullyan is often careful about when introducing his knight and knave puzzles) is that the goblins in the story appeared to <i>agree</i> with each other about the surrounding context (that there is one liar and one truthteller, that there is one door that should be taken, etc.). They didn&#x27;t contradict each other about that!<p>Smullyan&#x27;s liars normally lie about <i>everything</i> in <i>every</i> statement, so an official Smullyan liar would not agree <i>that there is one liar and one truthteller</i>, <i>that there is one safe door and one unsafe door</i>, and so on.<p>I just watched the original scene, and the two goblins seem to agree with each other about all of that stuff! How confusing.
评论 #43288001 未加载
评论 #43291621 未加载
评论 #43287659 未加载
ziofill2 个月前
There is another version of this puzzle with a third goblin who flips a coin and depending on the outcome he will lie or tell the truth. The player is allowed 3 yes&#x2F;no questions and the objective is to assign the three identities unambiguously.<p>I can post the solution in 24h. Have fun! ^^
评论 #43288028 未加载
评论 #43287376 未加载
评论 #43292302 未加载
评论 #43287323 未加载
评论 #43291116 未加载
photonthug2 个月前
<a href="https:&#x2F;&#x2F;www.hillelwayne.com&#x2F;post&#x2F;knights-knaves&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.hillelwayne.com&#x2F;post&#x2F;knights-knaves&#x2F;</a>
thaumasiotes2 个月前
I see this problem differently, as mainly exhibiting a problem that cannot be analyzed without self-reference. Self-reference causes problems.<p>The more obvious solution that the postscript hints at is the question &quot;what would you say if I asked you whether [this door] leads to the castle?&quot;. Here, we immediately cancel out the influence of whatever goblin we&#x27;re speaking to, and we get the right answer, whereas in the movie&#x27;s solution we immediately incorporate the influence of the lying goblin and get the wrong answer.<p>But the movie&#x27;s solution is better for the movie, because &quot;what would you say if I asked you X?&quot; is a normal English way to ask &quot;X&quot;, and in this case, where the two questions are different, the audience is guaranteed to be confused.
评论 #43286572 未加载
评论 #43288105 未加载
Jtsummers2 个月前
In some of the Smullyan books he extends the knights and knaves puzzles to incorporate beliefs with sane and insane variants. This is common in his Transylvania puzzles, where vampires always lie, humans always tell the truth, the sane believe true things, and the insane believe false things.<p>The sane human and insane vampire always tell the truth, even though it&#x27;s not the vampire&#x27;s intent to tell the truth. Meanwhile, the insane human always makes false statements though their intent is to tell the truth (and they do, they tell you what they believe to be true).
评论 #43292589 未加载
evil_genius2 个月前
If you find logic puzzles interesting, take a look at &quot;Games for Your Mind: The History and Future of Logic Puzzles&quot; by Jason Rosenhouse. There&#x27;s a whole chapter on Smullyan and his Knights and Knaves problems and is a generally good guide for getting into formal logic.<p>The part I enjoyed the most in the book was &quot;The Empuzzlement of Gödel&#x27;s Theorems&quot; that uses a twist with Knights and Knaves.<p><a href="https:&#x2F;&#x2F;www.goodreads.com&#x2F;book&#x2F;show&#x2F;53232141-games-for-your-mind" rel="nofollow">https:&#x2F;&#x2F;www.goodreads.com&#x2F;book&#x2F;show&#x2F;53232141-games-for-your-...</a>
KSteffensen2 个月前
My preferred solution to this logic problem:<p><a href="https:&#x2F;&#x2F;www.giantitp.com&#x2F;comics&#x2F;oots0327.html" rel="nofollow">https:&#x2F;&#x2F;www.giantitp.com&#x2F;comics&#x2F;oots0327.html</a>