< 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
  • 0:14 - 0:17
    the wonderful world of Paradoxica.
  • 0:17 - 0:22
    Fantastically paradoxical creatures crawl,
    run, and fly around you.
  • 0:22 - 0:25
    And then you see the troll.
  • 0:25 - 0:29
    It’s catching all the creatures
    in an enormous net.
  • 0:29 - 0:33
    You bravely step forward
    and demand it let them go.
  • 0:33 - 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:54
    “If you say something false,” he continues,
    “then I’ll release your brother.
  • 0:54 - 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:11
    like, ‘this statement is false,’ then
    I'll eat your brother and the creatures."
  • 1:11 - 1:14
    What true/false statement can
    you say to force the troll
  • 1:14 - 1:18
    to free your brother and
    the paradoxical 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:23
    Answer in: 2
  • 1:23 - 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:43
    and puzzle creator Raymond Smullyan.
  • 1:43 - 1:45
    The trick Smullyan came up with involves
  • 1:45 - 1:49
    saying a statement whose truth or
    falseness depends on
  • 1:49 - 1:51
    what you want the troll to do.
  • 1:51 - 1:54
    Your statement still
    has to be carefully crafted.
  • 1:54 - 1:56
    For example, if you were to say,
  • 1:56 - 1:59
    “You are going to free the
    creatures and my brother,”
  • 1:59 - 2:04
    the troll could respond, “that’s false…
    I’m only going to free your brother.”
  • 2:04 - 2:08
    Similarly, if you said, “You will free
    the paradoxes,” the troll could say,
  • 2:08 - 2:12
    “That’s true,” and free the paradoxes.
  • 2:12 - 2:14
    But watch what happens if you say,
  • 2:14 - 2:16
    “You will free my brother.”
  • 2:16 - 2:18
    The statement can’t be false,
  • 2:18 - 2:21
    because if it were, the troll,
    by its own rules,
  • 2:21 - 2:23
    would have to free your brother.
  • 2:23 - 2:27
    That would make the statement
    paradoxically true and false.
  • 2:27 - 2:29
    But the troll hates paradoxes and
  • 2:29 - 2:32
    would never willingly create one.
  • 2:32 - 2:36
    So his only option is for the
    statement to be true.
  • 2:36 - 2:38
    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:47
    since you said a true statement.
  • 2:47 - 2:51
    By wielding just 5 words
    like a logical scalpel,
  • 2:51 - 2:55
    you’ve forced the troll to
    free all its prisoners.
  • 2:55 - 2:56
    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