Can you solve the three gods riddle? - Alex Gendler

Можете ли вы решить головоломку трёх богов? — Алекс Гендлер

Переводчик: Aidar Kharisov Редактор: Yekaterina Jussupova

Created by logician Raymond Smullyan

Созданная логиком Рэймондом Смаллианом

and popularized by his colleague George Boolos,

и популяризированная его коллегой Джорджем Булосом,

this riddle has been called the hardest logic puzzle ever.

эта головоломка названа самой сложной логической задачей в истории.

You and your team have crash-landed on an ancient planet.

Вы и ваша команда совершили аварийную посадку на древней планете.

The only way off is to appease its three alien overlords,

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

Tee, Eff, and Arr,

Тии, Эфф и Арр,

by giving them the correct artifacts.

путём подношения им верных артефактов.

Unfortunately, you don't know who is who.

К сожалению, вы не знаете, кто из них кто.

From an inscription, you learn that you may ask three yes or no questions,

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

each addressed to any one lord.

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

Tee's answers are always true,

Ответы Тии всегда правдивы,

Eff's are always false,

ответы Эфф всегда ложны,

and Arr's answer is random each time.

а ответы Арр каждый раз случайны.

But there's a problem.

Но есть проблема.

You've deciphered the language enough to ask any question,

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

but you don't know which of the two words 'ozo' and 'ulu' means yes

но не знаете, которое из слов ozo и ulu означает «да»,

and which means no.

а которое «нет».

How can you still figure out which alien is which?

Как вы можете определить, кто из инопланетян кто?

Pause here if you want to figure it out for yourself!

[Если хотите найти решение сами, нажмите на паузу сейчас.]

Answer in: 3

[Ответ через: 3]

2

[2]

1

[1]

At first, this puzzle seems not just hard, but downright impossible.

Сначала головоломка кажется не просто трудной, но совершенно невыполнимой.

What good is asking a question

Какой смысл задавать вопрос,

if you can neither understand the answer nor know if it's true?

если ты не можешь ни понять ответ, ни узнать, правдив ли он?

But it can be done.

Однако решить её можно.

The key is to carefully formulate our questions

Ключ — в правильном формулировании ваших вопросов,

so that any answer yields useful information.

так чтобы любой ответ давал полезную информацию.

First of all, we can get around to not knowing what 'ozo' and 'ulu' mean

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

by including the words themselves in the questions,

путём включения самих этих слов в вопросы.

and secondly, if we load each question with a hypothetical condition,

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

whether an alien is lying or not won't actually matter.

станет неважно, лжёт инопланетянин или нет.

To see how that could work,

Чтобы увидеть, как это работает,

imagine our question is whether two plus two is four.

представьте, что наш вопрос — равняется ли два плюс два четырём.

Instead of posing it directly,

Вместо того, чтобы задать его прямо,

we say, "If I asked you whether two plus two is four,

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

would you answer 'ozo'?"

ответишь ли ты ozo?»

If 'ozo' means yes and the overlord is Tee,

Если ozo значит «да» и властелин это Тии,

it truthfully replies, "ozo."

он правдиво ответит ozo.

But what if we ask Eff?

Но если мы спросим у Эфф?

Well, it would answer "ulu," or no to the embedded question,

Он ответит ulu, или «нет», на встроенный вопрос,

so it lies and replies 'ozo' instead.

а значит, он лжёт и вместо этого говорит ozo.

And if 'ozo' actually means no,

И если ozo на самом деле значит «нет»,

then the answer to our embedded question is 'ulu,'

тогда ответ на наш встроенный вопрос — ulu,

and both Tee and Eff still reply 'ozo,'

а Тии и Эфф отвечают ozo,

each for their own reasons.

каждый по своим причинам.

If you're confused about why this works,

Чтобы понять, как это работает,

the reason involves logical structure.

надо осмыслить логическую структуру.

A double positive and a double negative both result in a positive.

И двойное утверждение, и двойное отрицание дают утверждение.

Now, we can be sure that asking either Tee or Eff a question put this way

Теперь, задав Тии или Эфф такой вопрос, мы можем быть уверены,

will yield 'ozo' if the hypothetical question is true

что получим ozo, если гипотетический вопрос правдив,

and 'ulu' if it's false

и ulu, если он ложен,

regardless of what each word actually means.

независимо от того, что на самом деле значит каждое из слов.

Unfortunately, this doesn't help us with Arr.

К сожалению, это не поможет нам в случае с Арр.

But don't worry, we can use our first question to identify one alien lord

Но не волнуйтесь, первый же вопрос позволит нам определить, кто из богов

that definitely isn't Arr.

точно не Арр.

Then we can use the second to find out whether its Tee or Eff.

Потом мы можем использовать второй, чтобы определить Тии это или Эфф.

And once we know that,

Как только мы это узнаем,

we can ask it to identify one of the others.

то сможем задать его для определения одного из оставшихся.

So let's begin.

Итак, начнём.

Ask the alien in the middle,

Спроси́те инопланетянина в середине:

"If I asked you whether the overlord on my left is Arr, would you answer 'ozo'?"

«Если спрошу тебя, является ли владыка слева от меня Арром, ответишь ли ты ozo?»

If the reply is 'ozo,' there are two possibilities.

Если ответ ozo, то есть два варианта.

You could already be talking to Arr, in which case the answer is meaningless.

Возможно, вы уже говорите с Арром, и тогда ответ не имеет смысла.

But otherwise, you're talking to either Tee or Eff,

Но в противном случае вы говорите либо с Тии, либо с Эфф.

and as we know,

Как мы знаем,

getting 'ozo' from either one means your hypothetical question was correct,

ozo от любого из них значит, что ваш гипотетический вопрос верен,

and the left overlord is indeed Arr.

и владыка слева на самом деле Арр.

Either way, you can be sure the alien on the right is not Arr.

В любом случае вы можете быть уверены, что владыка справа не Арр.

Similarly, if the answer is 'ulu,'

То же самое, если ответ ulu,

then you know the alien on the left can't be Arr.

тогда вы знаете, что инопланетянин слева не может быть Арром.

Now go to the overlord you've determined isn't Arr and ask,

Теперь идите к владыке, которого вы определили как не Арра и спроси́те,

"If I asked 'are you Eff?' would you answer 'ozo'?"

«Если бы я спросил тебя: "Не Эфф ли ты?", ответил бы ты ozo?»

Since you don't have to worry about the random possibility,

Поскольку можно не беспокоиться о возможности случайного ответа,

either answer will establish its identity.

любой ответ идентифицирует его.

Now that you know whether its answers are true or false,

Теперь, когда мы определили, правдивы или ложны его ответы,

ask the same alien whether the center overlord is Arr.

спросите этого же инопланетянина, является ли владыка в центре Арром.

The process of elimination will identify the remaining one.

Метод исключения определит оставшегося.

The satisfied overlords help you repair your ship

Довольные владыки помогают вам починить корабль,

and you prepare for takeoff.

и вы готовитесь к взлёту.

Allowed one final question, you ask Tee if it's a long way to Earth,

Получив разрешение на последний вопрос, вы спрашиваете Тии, далеко ли до Земли,

and he answers "ozo."

и он отвечает ozo.

Too bad you still don't know what that means.

Жаль, что вы так и не знаете, что это значит.