WEBVTT

99:59:59.999 --> 99:59:59.999
Created my logician Raymond Smullyan

99:59:59.999 --> 99:59:59.999
and popularized by his colleague
Goerge Boolos,

99:59:59.999 --> 99:59:59.999
this riddle has been called the hardest
logic puzzle ever.

99:59:59.999 --> 99:59:59.999
You and your team have crash-landed
on an ancient planet.

99:59:59.999 --> 99:59:59.999
The only way off is to appease
its three alien overloards,

99:59:59.999 --> 99:59:59.999
Tee, Eff, and Arr,

99:59:59.999 --> 99:59:59.999
by giving them the correct artifacts.

99:59:59.999 --> 99:59:59.999
Unfortunately, you don't
know who is who.

99:59:59.999 --> 99:59:59.999
From an inscription, you learn that you
may ask three yes or no questions,

99:59:59.999 --> 99:59:59.999
each addressed to any one lord.

99:59:59.999 --> 99:59:59.999
Tee's answers are always true,

99:59:59.999 --> 99:59:59.999
Eff's are always false,

99:59:59.999 --> 99:59:59.999
and Arr's answer is random each time.

99:59:59.999 --> 99:59:59.999
But there's a problem.

99:59:59.999 --> 99:59:59.999
You've deciphered the language enough
to ask any question,

99:59:59.999 --> 99:59:59.999
but you don't know which of the two
words ozo and ulu means yes

99:59:59.999 --> 99:59:59.999
and which means no.

99:59:59.999 --> 99:59:59.999
How can you still figure out 
which alien is which?

99:59:59.999 --> 99:59:59.999
Pause here if you want 
to figure it out for yourself!

99:59:59.999 --> 99:59:59.999
Answer in: 3

99:59:59.999 --> 99:59:59.999
2

99:59:59.999 --> 99:59:59.999
1

99:59:59.999 --> 99:59:59.999
At first, this puzzle seems not just hard,
but downright impossible.

99:59:59.999 --> 99:59:59.999
What good is asking a question

99:59:59.999 --> 99:59:59.999
if you can neither understand the answer
nor know if it's true?

99:59:59.999 --> 99:59:59.999
But it can be done.

99:59:59.999 --> 99:59:59.999
The key is to carefully formulate
our questions

99:59:59.999 --> 99:59:59.999
so that any answer 
yields useful information.

99:59:59.999 --> 99:59:59.999
First of all, we can get around
to not knowing ozo and ulu mean

99:59:59.999 --> 99:59:59.999
by including the words themselves
in the questions,

99:59:59.999 --> 99:59:59.999
and secondly, if we load each question
with a hypothetical condition,

99:59:59.999 --> 99:59:59.999
whether an alien is lying or not
won't actually matter.

99:59:59.999 --> 99:59:59.999
To see how that could work,

99:59:59.999 --> 99:59:59.999
imagine our questions
is whether two plus two is four.

99:59:59.999 --> 99:59:59.999
Instead of posing it directly,

99:59:59.999 --> 99:59:59.999
we say, "If I asked you whether
two plus two is four,

99:59:59.999 --> 99:59:59.999
would you answer 'ozo'?"

99:59:59.999 --> 99:59:59.999
If 'ozo' means yes 
and the overlord is Tee,

99:59:59.999 --> 99:59:59.999
it truthfully replies, "ozo."

99:59:59.999 --> 99:59:59.999
But what if we ask Eff?

99:59:59.999 --> 99:59:59.999
Well, it would answer "ulu,"
or no to the embedded question,

99:59:59.999 --> 99:59:59.999
so it lies and replies ozo instead.

99:59:59.999 --> 99:59:59.999
And if 'ozo' actually means no,

99:59:59.999 --> 99:59:59.999
then the answer to 
our embedded question is 'ulu,'

99:59:59.999 --> 99:59:59.999
and both Tee and Eff still reply 'ozo,'

99:59:59.999 --> 99:59:59.999
each for their own reasons.

99:59:59.999 --> 99:59:59.999
If you're confused about why this works,

99:59:59.999 --> 99:59:59.999
the reason involves logical structure.

99:59:59.999 --> 99:59:59.999
A double positive and a double negative
both result in a positive.

99:59:59.999 --> 99:59:59.999
Now, we can be sure that asking
either Tee or Eff a question put this way

99:59:59.999 --> 99:59:59.999
will yield 'ozo'
if the hypothetical question is true

99:59:59.999 --> 99:59:59.999
and 'ulu' if it's false

99:59:59.999 --> 99:59:59.999
regardless of what 
each word actually means.

99:59:59.999 --> 99:59:59.999
Unfortunately, 
this doesn't help us with Arr.

99:59:59.999 --> 99:59:59.999
But don't worry, we can use our first
questions to identify one alien lord

99:59:59.999 --> 99:59:59.999
that definitely isn't Arr.

99:59:59.999 --> 99:59:59.999
Then we can use the second to find out
whether its Tee or Eff.

99:59:59.999 --> 99:59:59.999
And once we know that,

99:59:59.999 --> 99:59:59.999
we can ask it to identify 
one of the others.

99:59:59.999 --> 99:59:59.999
So let's begin.

99:59:59.999 --> 99:59:59.999
Ask the alien in the middle,

99:59:59.999 --> 99:59:59.999
"If I asked you whether the overlord on
my left is Arr, would you answer 'ozo'?"

99:59:59.999 --> 99:59:59.999
If the reply is 'ozo,' 
there are two possibilities.

99:59:59.999 --> 99:59:59.999
You could already be talking to Arr,
in which case the answer is meaningless.

99:59:59.999 --> 99:59:59.999
But otherwise, you're talking to either
Tee or Eff,

99:59:59.999 --> 99:59:59.999
and as we know,

99:59:59.999 --> 99:59:59.999
getting 'ozo' from either one means 
you hypothetical question was correct,

99:59:59.999 --> 99:59:59.999
and the left overlord is indeed Arr.

99:59:59.999 --> 99:59:59.999
Either way, you can be sure the alien
on the right is not Arr.

99:59:59.999 --> 99:59:59.999
Similarly, if the answer is 'ulu,'

99:59:59.999 --> 99:59:59.999
then you know the alien 
on the left can't be Arr.

99:59:59.999 --> 99:59:59.999
Now go to the overlord you've determined
isn't Arr and ask,

99:59:59.999 --> 99:59:59.999
"If I asked 'arr you Eff?' 
would you answer 'ozo'?"

99:59:59.999 --> 99:59:59.999
Since you don't have to worry about
the random possibility,

99:59:59.999 --> 99:59:59.999
either answer will 
establish its identity.

99:59:59.999 --> 99:59:59.999
Now that you know whether its
answers are true or false,

99:59:59.999 --> 99:59:59.999
ask the same alien whether the center
overlord is Arr.

99:59:59.999 --> 99:59:59.999
The process of elimination will identify
the remaining one.

99:59:59.999 --> 99:59:59.999
The satisfied overlords help you
repair your ship

99:59:59.999 --> 99:59:59.999
and you prepare for takeoff.

99:59:59.999 --> 99:59:59.999
Allowed one final question, you ask
Tee if it's a long way to Earth,

99:59:59.999 --> 99:59:59.999
and he answers 'ozo.'

99:59:59.999 --> 99:59:59.999
Too bad you still don't know 
what that means.