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

3,108,437 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