Can you solve the troll’s paradox riddle? - Dan Finkel

3,254,418 views ・ 2018-12-20

TED-Ed


请双击下面的英文字幕来播放视频。

翻译人员: Ying Lu 校对人员: Lipeng Chen
00:07
You’ve discovered a doorway to another realm,
0
7720
3240
你发现了通往另一世界的入口,
00:10
and now you and your brother
1
10960
1920
现在你和你的兄弟 准备出发来探索
00:12
are off exploring the wonderful world of Paradoxica.
2
12880
4340
“悖论”这个奇妙的新世界。
00:17
Fantastically paradoxical creatures crawl, run, and fly around you.
3
17220
4990
令人难以置信的神奇生物 在你四周爬行,奔跑和飞翔。
00:22
And then you see the troll.
4
22210
2490
接着你就看到了洞穴巨怪。
00:24
It’s catching all the creatures in an enormous net.
5
24700
3910
他正把所有的生物 抓入一个巨网中。
00:28
You bravely step forward and demand it let them go.
6
28610
4320
你勇敢地站了出来, 命令他将它们放生。
00:32
The troll laughs.
7
32930
1540
巨怪大笑道:“如果你是个 悖论的粉丝,
00:34
“If you’re such a fan of paradoxes,” it says,
8
34470
2900
00:37
“then I’ll make you an offer.
9
37370
1670
那我给你一个机会, 如果你说了真话,
00:39
If you say something true, I’ll release all these creatures."
10
39040
4400
我将放走这些生物。”
00:43
You’re about to say, “You are a troll,”
11
43440
2200
就在你准备开口: “你是一个洞穴巨怪。”
00:45
but before you can, the troll grabs your brother.
12
45640
3420
说时迟那时快, 巨怪抓走了你的兄弟。
00:49
“If you say something false,” he continues,
13
49060
2420
“如果你说了假话,”他接着说道, “那我就放你的兄弟,
00:51
“then I’ll release your brother."
14
51480
2410
00:53
Your statement can only be a single sentence.
15
53890
2902
你的陈述只能是一个简单句。
00:56
And as you can see, I hate paradoxes more than anything.
16
56792
4660
正如你所见,我最讨厌悖论了。
01:01
If you try to cheat by saying something paradoxical,
17
61452
3330
如果你想靠说一些 模棱两可的话来作弊的话,
01:04
like, ‘this statement is false,’
18
64782
2065
比如,‘这句话是错的,’
01:06
then I'll eat your brother and the creatures."
19
66847
3670
那我不仅会吃掉你的兄弟, 还有这些生物。”
01:10
What true/false statement can you say to force the troll
20
70517
3532
你能说什么是/非同时成立的 陈述来强迫巨怪
01:14
to free your brother and the paradoxical creatures?
21
74049
3480
不仅放了你的兄弟, 还放了那些神奇的生物?
01:17
[Pause the video now if you want to figure it out for yourself!]
22
77532
1570
如果你想要自己弄明白, 请暂停此视频!
01:19
Answer in: 3
23
79102
1400
答案揭晓:3
01:20
Answer in: 2
24
80502
2810
2
01:23
Answer in: 1
25
83312
2760
1
01:26
This seems like an impossible situation,
26
86072
2750
这看上去是一个无解的困境, 但令人诧异地是,你的陈述
01:28
but incredibly, you can say something
27
88822
2150
01:30
that will force the troll to release all its prisoners.
28
90972
3460
可以强迫巨怪放生 所有被囚禁的生物。
01:34
This is an example of coercive logic,
29
94432
3020
这是伟大的逻辑学家和谜语创作者 雷蒙德 · 斯穆里安提出了
01:37
invented by the great logician and puzzle creator Raymond Smullyan.
30
97452
5010
一个强制逻辑的例子。
01:42
The trick Smullyan came up with involves saying a statement
31
102462
3460
斯穆里安想出来的解决方式是
01:45
whose truth or falseness depends on what you want the troll to do.
32
105922
5230
说一句真假与否取决于
你想让巨怪怎么做的话。
01:51
Your statement still has to be carefully crafted.
33
111152
3090
你说的话当然还得精心设计。
01:54
For example, if you were to say,
34
114242
2050
比方说,如果你想说:
01:56
“You are going to free the creatures and my brother,”
35
116292
2810
“你会释放生物和我的兄弟,”
01:59
the troll could respond, “that’s false… I’m only going to free your brother.”
36
119102
4660
巨怪可以回答, “不对,我只会放走你的兄弟。”
02:03
Similarly, if you said, “You will free the paradoxes,”
37
123762
3500
同理,如果你说,“你将释放生物,” 巨怪可以回答,
02:07
the troll could say, “That’s true,” and free the paradoxes.
38
127262
4180
“正确。”然后释放神奇的生物们。
02:11
But watch what happens if you say, “You will free my brother.”
39
131442
5020
但如果你说,
“你将放走我的兄弟。” 会发生什么呢?
02:16
The statement can’t be false,
40
136462
1740
这句话不可能是假的,
02:18
because if it were, the troll, by its own rules,
41
138202
3240
因为如果它是假的, 巨怪就得遵照他设定的原则,
02:21
would have to free your brother.
42
141442
2010
放走你的兄弟。
02:23
That would make the statement paradoxically true and false.
43
143452
3980
那这句话即为一个 既正确又错误的悖论。
02:27
But the troll hates paradoxes
44
147432
1990
但是巨怪讨厌悖论,
02:29
and would never willingly create one.
45
149422
2740
永远也不会自己想出一个。
02:32
So his only option is for the statement to be true.
46
152162
3790
所以他惟一的选择就是 承认这句话是正确的。
02:35
If “you will free my brother” is true,
47
155952
2180
如果“你将放走我的兄弟”正确的,
02:38
then the troll has to release your brother.
48
158132
2330
那巨怪就应该放走你的兄弟。
02:40
And by its own rules, the troll has to free the creatures as well,
49
160462
4410
并且根据他自己的规则, 巨怪也必须放走那些生物,
02:44
since you said a true statement.
50
164872
2510
因为你说的是真命题。
02:47
By wielding just 5 words like a logical scalpel,
51
167382
3670
简单 5 个单词正如 一把逻辑的手术刀,
02:51
you’ve forced the troll to free all its prisoners.
52
171052
3450
你成功让巨怪放走了他所有的俘虏。
02:54
As the troll stomps off in anger,
53
174502
1990
当你把巨怪气得跳脚时,
02:56
the paradoxes cheer you for winning them their freedom,
54
176492
3430
神奇生物正为 你帮他们赢得自由而喝彩,
02:59
and promise to lead you to the treasure at the top of the stairs.
55
179922
3467
并承诺将你带到台阶的 最高层寻找宝藏。
03:03
If you can reach it.
56
183389
2430
如果你能达到的话。
关于本网站

这个网站将向你介绍对学习英语有用的YouTube视频。你将看到来自世界各地的一流教师教授的英语课程。双击每个视频页面上显示的英文字幕,即可从那里播放视频。字幕会随着视频的播放而同步滚动。如果你有任何意见或要求,请使用此联系表与我们联系。

https://forms.gle/WvT1wiN1qDtmnspy7


This website was created in October 2020 and last updated on June 12, 2025.

It is now archived and preserved as an English learning resource.

Some information may be out of date.

隐私政策

eng.lish.video

Developer's Blog