< Return to Video

Can you solve the troll's paradox riddle? - Daniel Finkel

  • 0:08 - 0:11
    You’ve discovered a doorway
    to another realm,
  • 0:11 - 0:14
    and now you and your brother
    are off exploring the
  • 0:14 - 0:20
    wonderful world of Paradoxica.
    Fantastically paradoxical creatures crawl,
  • 0:20 - 0:24
    run, and fly around you.
    And then you see the troll.
  • 0:24 - 0:28
    It’s catching all the creatures
    in an enormous net.
  • 0:28 - 0:32
    You bravely step forward
    and demand it let them go.
  • 0:32 - 0:37
    The troll laughs. “If you’re such a
    fan of paradoxes,” it says,
  • 0:37 - 0:41
    “then I’ll make you an offer”.
    "If you say something true,
  • 0:41 - 0:46
    I’ll release all these creatures”.
    You’re about to say, “You are a troll,”
  • 0:46 - 0:49
    but before you can,
    the troll grabs your brother.
  • 0:49 - 0:53
    “If you say something false,” he continues,
    “then I’ll release your brother.
  • 0:53 - 0:57
    Your statement can
    only be a single sentence.
  • 0:57 - 1:01
    And as you can see, I hate
    paradoxes more than anything.
  • 1:01 - 1:05
    If you try to cheat by
    saying something paradoxical,
  • 1:05 - 1:10
    like, ‘this statement is false,’ then
    I'll eat your brother and the creatures."
  • 1:18 - 1:19
    Pause the video now if you
    want to figure it out for yourself!
  • 1:19 - 1:21
    Answer in 3
  • 1:21 - 1:24
    Answer in 2
  • 1:24 - 1:26
    Answer in 1
  • 1:26 - 1:31
    This seems like an impossible situation,
    but incredibly, you can say something
  • 1:31 - 1:34
    that will force the troll to
    release all its prisoners.
  • 1:34 - 1:39
    This is an example of coercive logic,
    invented by the great logician
  • 1:39 - 1:45
    and puzzle creator Raymond Smullyan.
    The trick Smullyan came up with involves
  • 1:45 - 1:49
    saying a statement whose truth or
    falseness depends on
  • 1:49 - 1:52
    what you want the troll to do.
    Your statement still
  • 1:52 - 1:56
    has to be carefully crafted.
    For example, if you were to say,
  • 1:56 - 1:59
    “You are going to free the
    creatures and my brother,”
  • 1:59 - 2:03
    the troll could respond, “that’s false…
    I’m only going to free your brother.”
  • 2:03 - 2:08
    Similarly, if you said, “You will free
    the paradoxes,” the troll could say,
  • 2:08 - 2:14
    “That’s true,” and free the paradoxes.
    But watch what happens if you say,
  • 2:14 - 2:18
    “You will free my brother.”
    The statement can’t be false,
  • 2:18 - 2:21
    because if it were, the troll,
    by its own rules,
  • 2:21 - 2:25
    would have to free your brother.
    That would make the statement
  • 2:25 - 2:29
    paradoxically true and false.
    But the troll hates paradoxes and
  • 2:29 - 2:34
    would never willingly create one.
    So his only option is for the
  • 2:34 - 2:38
    statement to be true.
    If “you will free my brother” is true,
  • 2:38 - 2:40
    then the troll has to
    release your brother.
  • 2:40 - 2:45
    And by its own rules, the troll has to
    free the creatures as well,
  • 2:45 - 2:50
    since you said a true statement.
    By wielding just 5 words
  • 2:50 - 2:52
    like a logical scalpel,
    you’ve forced the troll to
  • 2:52 - 2:56
    free all its prisoners.
    As the troll stomps off in anger,
  • 2:56 - 3:00
    the paradoxes cheer you for
    winning them their freedom,
  • 3:00 - 3:03
    and promise to lead you to the
    treasure at the top of the stairs.
  • 3:03 - 3:06
    If you can reach it.
Title:
Can you solve the troll's paradox riddle? - Daniel Finkel
Speaker:
Daniel Finkel
Description:

more » « less
Video Language:
English
Team:
closed TED
Project:
TED-Ed
Duration:
03:00

English subtitles

Revisions Compare revisions