WEBVTT

00:00:06.994 --> 00:00:09.445
Созданная логиком Рэймондом Смаллианом

00:00:09.445 --> 00:00:12.566
и популяризированная его коллегой
Джорджем Булосом,

00:00:12.566 --> 00:00:17.176
эта головоломка названа самой сложной
логической задачей в истории.

00:00:17.176 --> 00:00:21.515
Вы и ваша команда совершили
аварийную посадку на древней планете.

00:00:21.515 --> 00:00:26.516
Единственный способ выбраться —
это задобрить трёх инопланетных владык,

00:00:26.516 --> 00:00:29.056
Тии, Эфф и Арр,

00:00:29.056 --> 00:00:31.745
путём подношения им верных артефактов.

00:00:31.745 --> 00:00:34.596
К сожалению, вы не знаете,
кто из них кто.

00:00:34.596 --> 00:00:39.187
Из надписей вы узнаёте, что можете задать
три вопроса с ответами «да» или «нет»,

00:00:39.187 --> 00:00:42.266
и каждый может быть адресован
любому из трёх владык.

00:00:42.266 --> 00:00:44.747
Ответы Тии всегда правдивы,

00:00:44.747 --> 00:00:46.776
ответы Эфф всегда ложны,

00:00:46.776 --> 00:00:50.327
а ответы Арр каждый раз случайны.

00:00:50.327 --> 00:00:51.767
Но есть проблема.

00:00:51.767 --> 00:00:54.839
Вы достаточно расшифровали язык,
чтобы задать любой вопрос,

00:00:54.839 --> 00:00:59.927
но не знаете, которое из слов
ozo и ulu означает «да»,

00:00:59.927 --> 00:01:01.628
а которое «нет».

00:01:01.628 --> 00:01:05.188
Как вы можете определить,
кто из инопланетян кто?

00:01:05.188 --> 00:01:08.147
[Если хотите найти решение сами,
нажмите на паузу сейчас.]

00:01:08.147 --> 00:01:09.968
[Ответ через: 3]

00:01:09.968 --> 00:01:11.447
[2]

00:01:11.447 --> 00:01:12.716
[1]

00:01:12.716 --> 00:01:17.228
Сначала головоломка кажется не просто
трудной, но совершенно невыполнимой.

00:01:17.228 --> 00:01:18.797
Какой смысл задавать вопрос,

00:01:18.797 --> 00:01:23.227
если ты не можешь ни понять ответ,
ни узнать, правдив ли он?

00:01:23.227 --> 00:01:24.918
Однако решить её можно.

00:01:24.918 --> 00:01:27.598
Ключ — в правильном
формулировании ваших вопросов,

00:01:27.598 --> 00:01:31.298
так чтобы любой ответ давал
полезную информацию.

00:01:31.298 --> 00:01:35.827
Во-первых, мы можем обойтись без знания
о том, что значат ozo и ulu,

00:01:35.827 --> 00:01:39.578
путём включения самих этих слов в вопросы.

00:01:39.578 --> 00:01:43.539
Во-вторых, если мы нагрузим каждый вопрос
гипотетическим условием,

00:01:43.539 --> 00:01:47.988
станет неважно,
лжёт инопланетянин или нет.

00:01:47.988 --> 00:01:49.559
Чтобы увидеть, как это работает,

00:01:49.559 --> 00:01:53.630
представьте, что наш вопрос —
равняется ли два плюс два четырём.

00:01:53.630 --> 00:01:55.399
Вместо того, чтобы задать его прямо,

00:01:55.399 --> 00:01:59.348
мы говорим: «Если я спрошу,
равно ли два плюс два четырём,

00:01:59.348 --> 00:02:01.539
ответишь ли ты ozo?»

00:02:01.539 --> 00:02:04.619
Если ozo значит «да» и властелин это Тии,

00:02:04.619 --> 00:02:07.359
он правдиво ответит ozo.

00:02:07.359 --> 00:02:09.289
Но если мы спросим у Эфф?

00:02:09.289 --> 00:02:13.459
Он ответит ulu, или «нет»,
на встроенный вопрос,

00:02:13.459 --> 00:02:17.116
а значит, он лжёт
и вместо этого говорит ozo.

00:02:17.116 --> 00:02:20.049
И если ozo на самом деле значит «нет»,

00:02:20.049 --> 00:02:23.589
тогда ответ на наш
встроенный вопрос — ulu,

00:02:23.589 --> 00:02:27.069
а Тии и Эфф отвечают ozo,

00:02:27.069 --> 00:02:29.110
каждый по своим причинам.

00:02:29.110 --> 00:02:31.180
Чтобы понять, как это работает,

00:02:31.180 --> 00:02:33.610
надо осмыслить логическую структуру.

00:02:33.610 --> 00:02:38.640
И двойное утверждение,
и двойное отрицание дают утверждение.

00:02:38.640 --> 00:02:43.320
Теперь, задав Тии или Эфф такой вопрос,
мы можем быть уверены,

00:02:43.320 --> 00:02:47.461
что получим ozo,
если гипотетический вопрос правдив,

00:02:47.461 --> 00:02:49.630
и ulu, если он ложен,

00:02:49.630 --> 00:02:53.020
независимо от того, что на самом деле
значит каждое из слов.

00:02:53.020 --> 00:02:56.621
К сожалению, это не поможет нам
в случае с Арр.

00:02:56.621 --> 00:03:01.231
Но не волнуйтесь, первый же вопрос
позволит нам определить, кто из богов

00:03:01.231 --> 00:03:03.771
точно не Арр.

00:03:03.771 --> 00:03:08.112
Потом мы можем использовать второй,
чтобы определить Тии это или Эфф.

00:03:08.112 --> 00:03:09.371
Как только мы это узнаем,

00:03:09.371 --> 00:03:12.955
то сможем задать его для определения
одного из оставшихся.

00:03:12.955 --> 00:03:14.732
Итак, начнём.

00:03:14.732 --> 00:03:16.452
Спроси́те инопланетянина в середине:

00:03:16.452 --> 00:03:22.122
«Если спрошу тебя, является ли владыка
слева от меня Арром, ответишь ли ты ozo?»

00:03:22.122 --> 00:03:26.342
Если ответ ozo, то есть два варианта.

00:03:26.342 --> 00:03:30.961
Возможно, вы уже говорите с Арром,
и тогда ответ не имеет смысла.

00:03:30.961 --> 00:03:34.921
Но в противном случае вы говорите
либо с Тии, либо с Эфф.

00:03:34.921 --> 00:03:36.191
Как мы знаем,

00:03:36.191 --> 00:03:41.402
ozo от любого из них значит,
что ваш гипотетический вопрос верен,

00:03:41.402 --> 00:03:44.713
и владыка слева на самом деле Арр.

00:03:44.713 --> 00:03:49.463
В любом случае вы можете быть уверены,
что владыка справа не Арр.

00:03:49.463 --> 00:03:52.072
То же самое, если ответ ulu,

00:03:52.072 --> 00:03:55.662
тогда вы знаете, что инопланетянин
слева не может быть Арром.

00:03:55.662 --> 00:04:00.027
Теперь идите к владыке, которого вы
определили как не Арра и спроси́те,

00:04:00.027 --> 00:04:04.163
«Если бы я спросил тебя: "Не Эфф ли ты?",
ответил бы ты ozo?»

00:04:04.163 --> 00:04:07.202
Поскольку можно не беспокоиться
о возможности случайного ответа,

00:04:07.202 --> 00:04:11.303
любой ответ идентифицирует его.

00:04:11.303 --> 00:04:14.373
Теперь, когда мы определили,
правдивы или ложны его ответы,

00:04:14.373 --> 00:04:19.471
спросите этого же инопланетянина,
является ли владыка в центре Арром.

00:04:19.471 --> 00:04:23.984
Метод исключения определит оставшегося.

00:04:23.984 --> 00:04:26.853
Довольные владыки помогают
вам починить корабль,

00:04:26.853 --> 00:04:28.863
и вы готовитесь к взлёту.

00:04:28.863 --> 00:04:33.473
Получив разрешение на последний вопрос,
вы спрашиваете Тии, далеко ли до Земли,

00:04:33.473 --> 00:04:36.393
и он отвечает ozo.

00:04:36.393 --> 00:04:39.283
Жаль, что вы так и не знаете,
что это значит.