你能解决洞穴巨怪的悖论之谜吗？- 丹尼尔 · 芬柯

查看完整课程：https://ed.ted.com/lessons/can-you-solve-the-troll-s-paradox-riddle-dan-finkel

你和你的兄弟发现了另一个王国并探索这个奇妙的新世界。在旅途中，你看见一个洞穴巨怪正把生物们抓进一个巨大的网。如果你能提出一个既是真又是假的陈述，巨怪同意放生这些生物。你能想到一个正确的句子来强迫巨怪放生它们么？且听丹尼尔 · 芬柯的解释。

课程讲解：丹尼尔 · 芬柯（Daniel Finkel），动画制作：Artrake 工作室。

你发现了通往另一世界的入口，

现在你和你的兄弟
准备出发来探索

“悖论”这个奇妙的新世界。

令人难以置信的神奇生物
在你四周爬行，奔跑和飞翔。

接着你就看到了洞穴巨怪。

他正把所有的生物
抓入一个巨网中。

你勇敢地站了出来，
命令他将它们放生。

巨怪大笑道：“如果你是个
悖论的粉丝，

那我给你一个机会，
如果你说了真话，

我将放走这些生物。”

就在你准备开口：
“你是一个洞穴巨怪。”

说时迟那时快，
巨怪抓走了你的兄弟。

“如果你说了假话，”他接着说道，
“那我就放你的兄弟，

你的陈述只能是一个简单句。

正如你所见，我最讨厌悖论了。

如果你想靠说一些
模棱两可的话来作弊的话，

比如，‘这句话是错的，’

那我不仅会吃掉你的兄弟，
还有这些生物。”

你能说什么是/非同时成立的
陈述来强迫巨怪

不仅放了你的兄弟，
还放了那些神奇的生物？

如果你想要自己弄明白，
请暂停此视频！

答案揭晓：3

2

1

这看上去是一个无解的困境，
但令人诧异地是，你的陈述

可以强迫巨怪放生
所有被囚禁的生物。

这是伟大的逻辑学家和谜语创作者
雷蒙德 · 斯穆里安提出了

一个强制逻辑的例子。

斯穆里安想出来的解决方式是

说一句真假与否取决于

你想让巨怪怎么做的话。

你说的话当然还得精心设计。

比方说，如果你想说：

“你会释放生物和我的兄弟，”

巨怪可以回答，
“不对，我只会放走你的兄弟。”

同理，如果你说，“你将释放生物，”
巨怪可以回答，

“正确。”然后释放神奇的生物们。

但如果你说，

“你将放走我的兄弟。”
会发生什么呢？

这句话不可能是假的，

因为如果它是假的，
巨怪就得遵照他设定的原则，

放走你的兄弟。

那这句话即为一个
既正确又错误的悖论。

但是巨怪讨厌悖论，

永远也不会自己想出一个。

所以他惟一的选择就是
承认这句话是正确的。

如果“你将放走我的兄弟”正确的，

那巨怪就应该放走你的兄弟。

并且根据他自己的规则，
巨怪也必须放走那些生物，

因为你说的是真命题。

简单 5 个单词正如
一把逻辑的手术刀，

你成功让巨怪放走了他所有的俘虏。

当你把巨怪气得跳脚时，

神奇生物正为
你帮他们赢得自由而喝彩，

并承诺将你带到台阶的
最高层寻找宝藏。

如果你能达到的话。