< Return to Video

Consegues resolver o enigma do paradoxo do "troll"? — Daniel Finkel

  • 0:08 - 0:11
    Descobriste um portal para outro reino
  • 0:11 - 0:14
    e agora tu e o teu irmão
    partem para explorar
  • 0:14 - 0:17
    o maravilhoso mundo da Paradóxica.
  • 0:17 - 0:22
    Criaturas fantasticamente paradoxais
    rastejam, correm e voam à vossa volta.
  • 0:23 - 0:25
    Depois, vocês veem o "troll".
  • 0:25 - 0:28
    Está a apanhar todas as criaturas
    com uma rede enorme.
  • 0:29 - 0:33
    Tu avanças corajosamente
    e exiges que ele as liberte.
  • 0:33 - 0:37
    O "troll" ri-se e diz:
    "Se tu gostas tanto de paradoxos,
  • 0:38 - 0:40
    "vou fazer-te uma proposta.
  • 0:40 - 0:43
    "Se disseres uma verdade,
    liberto estas criaturas todas".
  • 0:44 - 0:46
    Tu estás quase a dizer:
    "Tu és um 'troll' "
  • 0:46 - 0:50
    mas antes de o poderes fazer,
    o "troll" agarra no teu irmão e diz:
  • 0:50 - 0:53
    "Se disseres uma mentira,
    liberto o teu irmão.
  • 0:54 - 0:57
    "A tua declaração tem de ser
    uma simples frase.
  • 0:57 - 1:01
    "Como vês, odeio paradoxos,
    acima de todas as coisas.
  • 1:02 - 1:05
    "Se tentares fazer batota,
    dizendo um paradoxo, no estilo:
  • 1:05 - 1:10
    " 'Esta declaração é falsa'
    eu como o teu irmão e as criaturas".
  • 1:11 - 1:14
    Que declaração verdadeira/falsa
    podes dizer para forçar o "troll"
  • 1:14 - 1:18
    a libertar o teu irmão
    e as criaturas paradoxais?
  • 1:18 - 1:21
    [Suspende o vídeo agora,
    se quiseres resolver sozinho.]
  • 1:21 - 1:22
    [Resposta em: 3
  • 1:22 - 1:23
    [Resposta em: 2
  • 1:23 - 1:25
    [Resposta em: 1
  • 1:26 - 1:31
    Parece uma situação impossível
    mas, na verdade, podes dizer uma coisa
  • 1:31 - 1:34
    que force o "troll" a libertar
    todos os prisioneiros.
  • 1:35 - 1:39
    Isto é um exemplo de lógica coerciva,
    inventada por Raymond Smullyan,
  • 1:39 - 1:42
    o grande lógico e criador de enigmas.
  • 1:43 - 1:45
    O truque de Smullyan envolve
  • 1:45 - 1:48
    fazer uma afirmação
    cuja verdade ou falsidade
  • 1:48 - 1:51
    depende do que queres que o "troll" faça.
  • 1:52 - 1:54
    Mas a tua afirmação tem de ser
    cuidadosamente pensada.
  • 1:54 - 1:56
    Por exemplo, se disseres:
  • 1:56 - 1:59
    "Vais libertar as criaturas
    e o meu irmão",
  • 1:59 - 2:01
    o "troll" pode responder:
  • 2:01 - 2:04
    "Isso é falso... eu só vou
    libertar o teu irmão".
  • 2:04 - 2:07
    Do mesmo modo, se disseres:
    "Vais libertar os paradoxos",
  • 2:08 - 2:11
    o "troll" pode dizer:
    "Isso é verdade" e liberta os paradoxos.
  • 2:12 - 2:14
    Mas o que acontece, se afirmares:
  • 2:14 - 2:16
    "Vais libertar o meu irmão."?
  • 2:16 - 2:19
    Esta afirmação não pode ser falsa,
  • 2:19 - 2:22
    porque, se fosse, de acordo
    com as regras do "troll",
  • 2:22 - 2:24
    ele teria de libertar o teu irmão.
  • 2:24 - 2:27
    Isso tornaria, paradoxalmente,
    a afirmação verdadeira e falsa.
  • 2:27 - 2:30
    Mas o "troll" odeia paradoxos
  • 2:30 - 2:32
    e nunca criaria um de boa vontade.
  • 2:33 - 2:36
    Portanto, a única opção
    para a afirmação é ela ser verdadeira.
  • 2:36 - 2:39
    Se "Vais libertar o meu irmão"
    é verdadeira,
  • 2:39 - 2:41
    o "troll" tem de libertar o teu irmão.
  • 2:41 - 2:45
    E, segundo as suas regras,
    o "troll" tem de libertar também as criaturas,
  • 2:45 - 2:48
    porque o que disseste
    é uma afirmação verdadeira.
  • 2:48 - 2:51
    Juntando apenas cinco palavras,
    como um escalpelo lógico,
  • 2:51 - 2:54
    forçaste o "troll" a libertar
    todos os prisioneiros.
  • 2:55 - 2:57
    Enquanto o "troll" espuma de raiva,
  • 2:57 - 3:00
    os paradoxos aplaudem-te
    por lhes teres conquistado a liberdade
  • 3:00 - 3:03
    e prometem levar-te ao tesouro
    no cimo da escadaria.
  • 3:03 - 3:05
    Se lá conseguires chegar.
Title:
Consegues resolver o enigma do paradoxo do "troll"? — Daniel Finkel
Speaker:
Daniel Finkel
Description:

Vejam a lição completa: https://ed.ted.com/lessons/can-you-solve-the-troll-s-paradox-riddle-dan-finkel

Tu e o teu irmão descobriram outro reino e partiram para explorar o novo mundo maravilhoso. Pelo caminho veem um "troll" a apanhar animais numa rede enorme. O "troll" concorda libertar os animais se tu arranjares uma declaração que seja simultaneamente verdadeira e falsa. Consegues arranjar a frase correta e forçar o "troll" a libertá-los? Dan Finkel mostra como é.

Lição de Dan Finkel, direção de Artrake Studio.

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

Portuguese subtitles

Revisions