1
00:00:06,994 --> 00:00:09,445
論理学者のレイモンド・スマリヤンが作り

2
00:00:09,445 --> 00:00:12,566
彼の同僚であるジョージ・ブーロスが
有名にしたこの謎は

3
00:00:12,566 --> 00:00:17,176
「最難論理パズル」と呼ばれてきました

4
00:00:17,176 --> 00:00:21,515
あなたとその仲間は
古代の惑星に墜落しました

5
00:00:21,515 --> 00:00:26,516
脱出する唯一の方法は
３人の宇宙人の領主である

6
00:00:26,516 --> 00:00:29,056
ティー、エフとアールに

7
00:00:29,056 --> 00:00:31,745
正しい芸術品を与えて仲良くなることです

8
00:00:31,745 --> 00:00:34,596
残念なことに あなたは
誰が誰かを知りません

9
00:00:34,596 --> 00:00:39,187
あなたは碑文から
はい・いいえの質問を全部で３つ

10
00:00:39,187 --> 00:00:42,266
また 個々の質問は領主１人だけに
できることを知ります

11
00:00:42,266 --> 00:00:44,747
ティーの答えは常に正しく

12
00:00:44,747 --> 00:00:46,776
エフの答えは常に嘘で

13
00:00:46,776 --> 00:00:50,327
アールの答えはバラバラです

14
00:00:50,327 --> 00:00:51,767
しかし問題が１つあります

15
00:00:51,767 --> 00:00:54,839
あなたは どんな質問でもできるほど
異星人の言葉を理解したのですが

16
00:00:54,839 --> 00:00:59,927
「オゾ」と「ウル」という２つの言葉の
どちらが「はい」で「いいえ」か

17
00:00:59,927 --> 00:01:01,628
知らないのです

18
00:01:01,628 --> 00:01:05,188
それでもどの異星人が誰か
あなたは当てられるでしょうか？

19
00:01:05,188 --> 00:01:08,147
[自分で解きたい場合はここで停止！]

20
00:01:08,147 --> 00:01:09,968
答えの３秒前

21
00:01:09,968 --> 00:01:11,447
２

22
00:01:11,447 --> 00:01:12,716
１

23
00:01:12,716 --> 00:01:17,228
この問題は 最初は難しいばかりでなく
全く不可能なように見えます

24
00:01:17,228 --> 00:01:18,797
答えを理解することも

25
00:01:18,797 --> 00:01:23,227
本当かどうかも判断できないのに
質問をすることに意味があるのでしょうか？

26
00:01:23,227 --> 00:01:24,918
しかし 実際に解けるのです

27
00:01:24,918 --> 00:01:27,598
大切なのはどんな回答でも
有益な情報を得られるように

28
00:01:27,598 --> 00:01:31,298
慎重に質問を作ることです

29
00:01:31,298 --> 00:01:35,827
まず「オゾ」と「ウル」が
何を意味するか分からない問題は

30
00:01:35,827 --> 00:01:39,578
質問文にその言葉を加えることで
解決することができ

31
00:01:39,578 --> 00:01:43,539
次にそれぞれの質問について
仮定の条件文を加えることで

32
00:01:43,539 --> 00:01:47,988
異星人が嘘をついていても
関係なくなります

33
00:01:47,988 --> 00:01:49,559
その実際の働きを見るために

34
00:01:49,559 --> 00:01:53,630
私達の質問は「２＋２＝４？」だと
考えてみてください

35
00:01:53,630 --> 00:01:55,399
そのまま質問する代わりに

36
00:01:55,399 --> 00:01:59,348
「もし私が２＋２が４かと聞いたら

37
00:01:59,348 --> 00:02:01,539
オゾと答えますか？」と尋ねるのです

38
00:02:01,539 --> 00:02:04,619
もし「オゾ」が「はい」で
領主がティーであれば

39
00:02:04,619 --> 00:02:07,359
正直に「オゾ」と答えるでしょう

40
00:02:07,359 --> 00:02:09,289
しかしエフに尋ねた場合はどうでしょう？

41
00:02:09,289 --> 00:02:13,459
エフは条件文中の質問に対しては
「ウル」つまり「いいえ」と答えるでしょう

42
00:02:13,459 --> 00:02:17,116
そのため嘘をついて「オゾ」と答えます

43
00:02:17,116 --> 00:02:20,049
また本当は「オゾ」が「いいえ」であれば

44
00:02:20,049 --> 00:02:23,589
条件文中の質問への
正しい答えは「ウル」であり

45
00:02:23,589 --> 00:02:27,069
ティーとエフはそれぞれの理由により

46
00:02:27,069 --> 00:02:29,110
両方とも「オゾ」と答えます

47
00:02:29,110 --> 00:02:31,180
この仕組みに混乱しているとしたら

48
00:02:31,180 --> 00:02:33,610
その理由は論理構造を含んでいるからです

49
00:02:33,610 --> 00:02:38,640
二重の肯定も二重の否定も
どちらも肯定になるのです

50
00:02:38,640 --> 00:02:43,320
結果としてティーかエフに対して
このように質問することで―

51
00:02:43,320 --> 00:02:47,461
仮想の質問が正しければ
私たちは「オゾ」という回答を

52
00:02:47,461 --> 00:02:49,630
その質問が偽であれば
「ウル」という回答が必ず得られます

53
00:02:49,630 --> 00:02:53,020
それぞれ回答が持つ
本当の意味は関係ありません

54
00:02:53,020 --> 00:02:56,621
これは残念ながら
アールの場合には役に立ちません

55
00:02:56,621 --> 00:03:01,231
しかし心配しないで下さい
私たちは最初の質問によって

56
00:03:01,231 --> 00:03:03,771
絶対にアールではない異星人の領主を
１人特定出来るのです

57
00:03:03,771 --> 00:03:08,112
そして私たちは２つ目の質問で
彼がティーかエフを特定できます

58
00:03:08,112 --> 00:03:09,371
そしてそれが分かれば

59
00:03:09,371 --> 00:03:12,955
残りの２人を判別するための
質問ができます

60
00:03:12,955 --> 00:03:14,732
では始めましょう

61
00:03:14,732 --> 00:03:16,452
真ん中に立っている宇宙人に

62
00:03:16,452 --> 00:03:22,122
「私の左側の領主がアールかと聞かれたら、
『オゾ』と答えますか？」

63
00:03:22,122 --> 00:03:26,342
もし回答が「オゾ」であれば
２つの可能性があります

64
00:03:26,342 --> 00:03:30,961
アールに話しかけている場合には
答えは何の意味も持ちませんが

65
00:03:30,961 --> 00:03:34,921
ティーかエフに話しかけている場合は

66
00:03:34,921 --> 00:03:36,191
私達が知っている通りで

67
00:03:36,191 --> 00:03:41,402
「オゾ」という答えを得た場合
あなたの仮説の質問は正しく

68
00:03:41,402 --> 00:03:44,713
左側の領主はアールになります

69
00:03:44,713 --> 00:03:49,463
いずれの場合でも
右側の異星人はアールでないことは確かです

70
00:03:49,463 --> 00:03:52,072
同様に答えが「ウル」であれば

71
00:03:52,072 --> 00:03:55,662
左の異星人はアールでは
ないことが分かります

72
00:03:55,662 --> 00:04:00,027
次にアールではないと判明した
異星人に質問します

73
00:04:00,027 --> 00:04:04,163
「もし『あなたはエフですか？』と聞かれたら
答えは『オゾ』ですか」

74
00:04:04,163 --> 00:04:07,152
ランダムな回答が返って来る心配がないので

75
00:04:07,152 --> 00:04:11,303
どの答えでもその異星人を特定できます

76
00:04:11,303 --> 00:04:14,373
その異星人の答えが真か偽か分かるので

77
00:04:14,373 --> 00:04:19,471
「真ん中の領主はアールですか？」
とその異星人に尋ねるのです

78
00:04:19,471 --> 00:04:23,984
この消去法のプロセスで
最後の１人が特定されます

79
00:04:23,984 --> 00:04:26,853
満足した領主達は
あなたが宇宙船を修理して

80
00:04:26,853 --> 00:04:28,863
出発するのを手伝います

81
00:04:28,863 --> 00:04:33,473
最後の質問が許され
ティーに「地球までの道は遠いのか」と尋ね

82
00:04:33,473 --> 00:04:36,393
彼が「オゾ」と答えたとしても

83
00:04:36,393 --> 00:04:39,283
残念なことにその意味については
やはり分からないままです