Can you solve the three gods riddle? - Alex Gendler

Você conseguiria resolver o enigma dos três soberanos? - Alex Gendler

Tradutor: Leonardo Silva Revisor: Ruy Lopes Pereira

Created by logician Raymond Smullyan

Criado pelo lógico Raymond Smullyan

and popularized by his colleague George Boolos,

e popularizado por seu colega George Boolos,

this riddle has been called the hardest logic puzzle ever.

esse enigma tem sido considerado a mais difícil charada de lógica.

Você e sua tripulação caíram em um planeta distante.

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

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

A única forma de sair dele é satisfazendo seus três soberanos alienígenas,

Tee, Eff, and Arr,

Tê, Efe e Erre,

dando a eles os artefatos corretos.

by giving them the correct artifacts.

Unfortunately, you don't know who is who.

Infelizmente, você não sabe quem é quem.

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

Numa inscrição em pedra, você descobre que pode fazer três perguntas objetivas,

each addressed to any one lord.

uma para cada um dos soberanos.

As respostas de Tê são sempre verdadeiras, as de Efe são sempre falsas

Tee's answers are always true,

Eff's are always false,

and Arr's answer is random each time.

e as de Erre são sempre aleatórias.

Mas há um problema.

But there's a problem.

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

Você aprendeu a língua local o bastante para perguntar o que quiser,

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

mas não sabe qual das duas palavras, "ozo" e "ulu", significa "sim"

and which means no.

e qual significa "não".

How can you still figure out which alien is which?

Como então distinguir cada alienígena?

[Pause o vídeo se quiser tentar descobrir sozinho.

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

Answer in: 3

Resposta em três...dois...um.]

2

1

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

A princípio, a charada parece não apenas difícil, mas praticamente impossível.

De que adianta fazer uma pergunta

What good is asking a question

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

se não é possível entender a resposta nem saber se é verdadeira?

Acontece que é possível.

But it can be done.

The key is to carefully formulate our questions

A solução é formular cuidadosamente as perguntas

so that any answer yields useful information.

de forma que qualquer resposta forneça informações úteis.

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

Primeiro, é possível driblar o fato de não saber o que "ozo" e "ulu" significam

by including the words themselves in the questions,

incluindo essas palavras nas perguntas

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

e, segundo, se colocarmos situações hipotéticas em cada pergunta,

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

o fato de um alienígena estar mentindo ou não será irrelevante.

To see how that could work,

Para ver como pode funcionar, imagine que a pergunta seja se 2 + 2 = 4.

imagine our question is whether two plus two is four.

Instead of posing it directly,

Em vez de fazê-la de forma direta, dizemos:

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

"Se lhe perguntasse se 2 + 2 = 4, você responderia 'ozo'?"

would you answer 'ozo'?"

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

Se "ozo" significa "sim" e o soberano é Tê,

it truthfully replies, "ozo."

ele responderá a verdade: "ozo".

But what if we ask Eff?

Mas e se perguntarmos a Efe?

Ele responderia "ulu", ou "não", para a mesma pergunta.

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

so it lies and replies 'ozo' instead.

Então, ele mente e responde "ozo".

And if 'ozo' actually means no,

E, se "ozo" na verdade significar "não",

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

a resposta à pergunta será "ulu",

and both Tee and Eff still reply 'ozo,'

e tanto Tê quanto Efe ainda vão responder "ozo",

cada qual por suas próprias razões.

each for their own reasons.

Se estiver em dúvida sobre por que isso funciona,

If you're confused about why this works,

tem a ver com estrutura lógica.

the reason involves logical structure.

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

Tanto dupla afirmação quanto dupla negação resultam em afirmação.

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

É possível ter certeza de que fazer uma pergunta como essa a Tê ou a Efe

will yield 'ozo' if the hypothetical question is true

resultará em "ozo" se a pergunta hipotética for verdadeira

and 'ulu' if it's false

e em "ulu" se for falsa,

regardless of what each word actually means.

independentemente do que essas palavras de fato signifiquem.

Infelizmente, isso não funciona com Erre.

Unfortunately, this doesn't help us with Arr.

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

Mas não tem problema, pois nossa primeira pergunta pode identificar um soberano

that definitely isn't Arr.

que com certeza não seja Erre.

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

Podemos então usar a segunda para descobrir se é Tê ou Efe.

Descobrindo isso,

And once we know that,

we can ask it to identify one of the others.

podemos pedir que identifique um dos outros.

So let's begin.

Então, vamos lá.

Ask the alien in the middle,

Pergunte ao alienígena do meio:

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

"Se lhe perguntasse se o soberano à minha esquerda é Erre, você responderia 'ozo'?"

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

Se a resposta for "ozo", existem duas possibilidades:

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

você já estaria conversando com Erre, e a resposta seria irrelevante

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

ou você estaria conversando com Tê ou com Efe

and as we know,

e, como sabemos,

"ozo" vindo de qualquer dos dois significa que sua pergunta hipotética é verdadeira

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

e o soberano à esquerda é Erre.

and the left overlord is indeed Arr.

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

Seja como for, com certeza o alienígena à direita não é Erre.

Similarly, if the answer is 'ulu,'

Da mesma forma, se a resposta for "ulu",

você saberá que o alienígena à esquerda não pode ser Erre.

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,

Então, pergunte ao soberano que você sabe que não é Erre:

"Se lhe perguntasse se você é Efe, você responderia 'ozo'?"

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

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

Já que não precisa se preocupar com a resposta,

either answer will establish its identity.

qualquer resposta revelará a identidade dele.

Agora que sabe se as respostas dele são falsas ou verdadeiras,

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

ask the same alien whether the center overlord is Arr.

pergunte a ele se o soberano do meio é Erre.

The process of elimination will identify the remaining one.

O processo de eliminação revelará o que restar.

The satisfied overlords help you repair your ship

Os soberanos contentes o ajudam a consertar sua nave

and you prepare for takeoff.

e você se prepara para decolar.

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

Você faz uma última pergunta a Tê, se a viagem de volta à Terra é longa,

and he answers "ozo."

e ele responde "ozo".

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

Uma pena você ainda não saber o que essa resposta quer dizer.