Can you solve the three gods riddle? - Alex Gendler

이 세 명의 신들의 수수께끼를 풀 수 있나요? |알렉스 젠들러(Alex Gendler)

번역: Hyunsu Chae 검토: Jihyeon J. Kim

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,

즉, 왕 티(Tee), 에프(Eff), 알(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

'오조'와 '울루'의 두 개의 단어 중 어떤 것이 '예'를 의미하고

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

먼저, 우리는 '오조'와 '울루'의 뜻을 모른채로 이를 유추할 수 있습니다.

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.

우리의 질문이 '2+2=4인가?' 라고 생각해봅시다.

Instead of posing it directly,

직접 개인에게 질문하는 대신

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

'내가 2+2라고 물어본다면, 너는 '오조'라고 답하겠니?' 라고 묻는 거죠.

would you answer 'ozo'?"

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

만약 '오조'가 '예'라는 뜻이고 왕이 '티'라면

it truthfully replies, "ozo."

이 왕은 진실로 '오조'라고 대답합니다.

But what if we ask Eff?

그러나 우리가 '에프'에게 질문한다면요?

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

그렇다면, 이 왕은 질문에 '울루'라고 답하거나, '아니요' 뜻의 답을 할 겁니다.

so it lies and replies 'ozo' instead.

따라서 이 왕은 거짓을 하기위해 '오조'라고 대답할 것입니다.

And if 'ozo' actually means no,

그리고 만일 '오조'가 사실은 '아니오'라는 뜻이라면

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

우리의 질문에 대한 답은 '울루'가 됩니다.

and both Tee and Eff still reply '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

만약 이 가설적 질문이 사실이라면 '오조'

and 'ulu' if it's false

거짓이라면 '울루'임을 확신할 수 있습니다.

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'?"

"만약 제가 여러분의 왼쪽의 왕이 '알'이냐고 묻는다면

당신은 '오조' 라고 대답하겠습니까?"

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

만약 답변이 '오조'라면, 두 가지의 가능성이 있습니다.

이미 '알'에게 질문을 했기에 답변이 의미가 없을 경우가 있고

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,

여러분의 가설적 질문이 맞았다는 것이고

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,'

비슷한 방식으로, 만일 답변이 '울루'라면

왼쪽의 왕이 '알'이 될 수 없음을 알 수 있습니다.

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'?"

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."

그는 '오조'라고 대답합니다.

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

안타깝게도 여러분은 아직도 이 대답의 뜻을 모르겠죠.