You’ve discovered a doorway to another realm, and now you and your brother are off exploring the wonderful world of Paradoxica. Fantastically paradoxical creatures crawl, run, and fly around you. And then you see the troll.
Has descubierto un portal hacia otra dimensión, y ahora tu hermano y tú están explorando el asombroso mundo 'Paradoxica'. Fantásticas criaturas paradójicas se arrastran, corren y vuelan a tu alrededor. Y entonces te encuentras al trol. Acaba de atrapar a todas las criaturas en una enorme red.
It’s catching all the creatures in an enormous net. You bravely step forward and demand it let them go. The troll laughs. “If you’re such a fan of paradoxes,” it says, “then I’ll make you an offer. If you say something true, I’ll release all these creatures." You’re about to say, “You are a troll,” but before you can, the troll grabs your brother. “If you say something false,” he continues, “then I’ll release your brother." Your statement can only be a single sentence. And as you can see, I hate paradoxes more than anything. If you try to cheat by saying something paradoxical, like, ‘this statement is false,’ then I'll eat your brother and the creatures."
Con valentía, te acercas y le exiges que las libere. El trol se ríe y contesta: "Si tanto te gustan las paradojas, hagamos un trato. Si dices algo verdadero, liberaré a todas las criaturas". Estás pensando en decir "Eres un trol", pero entonces el trol atrapa a tu hermano. "Si dices algo falso", continúa, "liberaré a tu hermano. Solamente puedes pronunciar una oración. Y, como puedes ver, en verdad odio las paradojas. Si intentas hacer trampa y decir algo paradójico como 'Esta oración es falsa', me comeré a tu hermano y a las criaturas". ¿Qué oración verdadera/falsa puedes pronunciar
What true/false statement can you say to force the troll to free your brother and the paradoxical creatures?
para que el trol libere a tu hermano y a las criaturas paradójicas? [Pausa el video si quieres resolverlo por ti mismo]
[Pause the video now if you want to figure it out for yourself!]
Answer in: 3
[La respuesta en 3]
Answer in: 2
[La respuesta en 2]
Answer in: 1
[La respuesta en 1]
This seems like an impossible situation, but incredibly, you can say something that will force the troll to release all its prisoners. This is an example of coercive logic, invented by the great logician and puzzle creator Raymond Smullyan.
Parece una situación imposible, pero, increíblemente, hay algo que puedes decir que obligará al trol a liberar a todos sus prisioneros. Esto es un ejemplo de lógica coercitiva, inventada por el experto en lógica y creador de acertijos, Raymond Smullyan.
The trick Smullyan came up with involves saying a statement whose truth or falseness depends on what you want the troll to do.
El truco que se le ocurrió a Smullyan es pronunciar una oración cuya veracidad o falsedad dependa de qué quieres que el trol haga.
Your statement still has to be carefully crafted. For example, if you were to say, “You are going to free the creatures and my brother,” the troll could respond, “that’s false… I’m only going to free your brother.” Similarly, if you said, “You will free the paradoxes,” the troll could say, “That’s true,” and free the paradoxes.
Tu oración debe ser cuidadosamente formulada. Por ejemplo, si dijeras: "Vas a liberar a las criaturas y a mi hermano", el trol podría replicar: "Eso es falso, solamente voy a liberar a tu hermano". De forma similar, si dijeras: "Vas a liberar a las paradojas", el trol podría contestar: "Eso es verdadero", y liberaría a las criaturas.
But watch what happens if you say, “You will free my brother.”
Pero observa lo que sucede si dices: "Liberarás a mi hermano".
The statement can’t be false, because if it were, the troll, by its own rules, would have to free your brother. That would make the statement paradoxically true and false. But the troll hates paradoxes and would never willingly create one. So his only option is for the statement to be true. If “you will free my brother” is true, then the troll has to release your brother. And by its own rules, the troll has to free the creatures as well, since you said a true statement. By wielding just 5 words like a logical scalpel, you’ve forced the troll to free all its prisoners.
Esta oración no puede ser falsa porque, si lo fuera, el trol tendría que liberar a tu hermano para cumplir con sus propias reglas. Esto haría que la oración fuera paradójicamente verdadera y falsa. Pero el trol odia las paradojas y nunca crearía una intencionalmente. Así que su única opción es que tu oración sea verdadera. Si "Liberarás a mi hermano" es verdadera, el trol tiene que liberar a tu hermano. Y, para cumplir con sus propias reglas, el trol tiene que liberar también a las criaturas, ya que tu oración fue verdadera. Al blandir tan solo cuatro palabras, como si de un escalpelo lógico se tratara, has obligado al trol a liberar a todos sus prisioneros.
As the troll stomps off in anger, the paradoxes cheer you for winning them their freedom, and promise to lead you to the treasure at the top of the stairs. If you can reach it.
Mientras el trol, furioso, se aleja, las criaturas paradójicas te agradecen por liberarlas y prometen guiarte hacia el tesoro que se encuentra en la cima de las escaleras, si es que puedes llegar a ella.