0:00:06.994,0:00:09.445 Créé par le logicien Raymond Smullyan 0:00:09.445,0:00:12.446 et vulgarisé par son collègue[br]George Boolos, 0:00:12.446,0:00:16.126 ce casse-tête est probablement l'énigme[br]la plus difficile de tous les temps. 0:00:16.976,0:00:21.425 Toi et ton équipe vous êtes écrasés[br]sur une vieille planète. 0:00:21.425,0:00:26.396 La seule sortie possible est d'apaiser[br]les trois seigneurs extraterrestres, 0:00:26.396,0:00:28.906 Tee, Eff et Arr, 0:00:28.906,0:00:31.025 en leur donnant les bons objets. 0:00:31.625,0:00:34.476 Malheureusement, tu ignores qui est qui. 0:00:34.476,0:00:38.437 Grâce à une inscription, tu apprends[br]que tu peux poser une question, 0:00:38.437,0:00:42.266 avec oui ou non comme réponse[br]à chacun des seigneurs. 0:00:42.266,0:00:44.747 Tee répond toujours juste, 0:00:44.747,0:00:46.776 Eff répond toujours faux 0:00:46.776,0:00:50.167 et Arr répond toujours [br]de manière aléatoire. 0:00:50.167,0:00:51.767 Mais il y a un problème. 0:00:51.767,0:00:54.839 Tu as assez déchiffré la langue [br]pour poser toutes tes questions 0:00:54.839,0:00:59.927 mais tu ne sais pas lequel des mots[br]« ozo » ou « ulu » veut dire oui 0:00:59.927,0:01:01.448 ou non. 0:01:01.448,0:01:04.588 Comment distinguer qui est qui ? 0:01:05.188,0:01:08.147 [Fais une pause si tu veux [br]chercher la réponse par toi-même] 0:01:08.147,0:01:09.968 [La réponse dans : 3] 0:01:09.968,0:01:11.447 [ 2 ] 0:01:11.447,0:01:12.636 [ 1 ] 0:01:12.636,0:01:17.168 Au premier abord, ce casse-tête[br]semble dur, voire impossible. 0:01:17.168,0:01:18.797 A quoi bon de poser une question 0:01:18.797,0:01:23.127 si tu ne comprends pas la réponse[br]ou si tu ne sais pas si elle est vraie ? 0:01:23.127,0:01:24.918 Mais cela est possible. 0:01:24.918,0:01:27.598 La clé du succès est de bien[br]formuler nos questions 0:01:27.598,0:01:31.298 afin que toute réponse[br]fournisse des informations utiles. 0:01:31.298,0:01:35.827 D'abord, on peut contourner le fait [br]qu'on ne connaît pas « ozo » et « ulu » 0:01:35.827,0:01:39.578 en incluant ces mots dans les questions 0:01:39.578,0:01:43.539 et si nous incluons à toute question [br]une condition hypothétique, 0:01:43.539,0:01:47.988 le fait qu'un extraterrestre[br]mente ou pas n'a aucune importance. 0:01:47.988,0:01:49.559 Afin de comprendre, 0:01:49.559,0:01:53.540 imagine que notre question porte sur[br]l'égalité de deux plus deux font quatre. 0:01:53.540,0:01:55.499 Au lieu de poser la question directement, 0:01:55.499,0:01:59.348 on dit : « Si je te demande[br]si deux plus deux font quatre, 0:01:59.348,0:02:01.539 répondrais-tu « ozo » ? » 0:02:01.539,0:02:04.619 Si « ozo » signifie « oui »[br]et que le seigneur est Tee, 0:02:04.619,0:02:07.359 il répond juste « ozo ». 0:02:07.359,0:02:09.289 Mais si nous demandons à Eff ? 0:02:09.289,0:02:13.459 Alors, il répondrait « ulu »[br]ou non à la question sous-jacente, 0:02:13.459,0:02:17.116 il ment donc et répond « ozo ». 0:02:17.116,0:02:20.049 Et si « ozo » veut dire « non », 0:02:20.049,0:02:23.589 alors la réponse à notre question[br]sous-jacente est « ulu » 0:02:23.589,0:02:27.069 et tous les deux,[br]Tee et Eff, répondent « ozo », 0:02:27.069,0:02:29.110 chacun pour des raisons différentes. 0:02:29.110,0:02:31.180 Si tu ne vois pas[br]pourquoi cela marche, 0:02:31.180,0:02:33.610 la raison est qu'il y a [br]de la structure logique. 0:02:33.610,0:02:38.060 Un double positif et un double négatif[br]résultent en un positif. 0:02:38.650,0:02:43.320 On sait qu'en posant une question[br]à Tee ou à Eff de cette manière 0:02:43.320,0:02:47.461 donnerait un « ozo » si la question [br]hypothétique est vraie 0:02:47.461,0:02:49.630 et « ulu » si elle est fausse, 0:02:49.630,0:02:53.020 indépendamment[br]de la signification de chaque mot. 0:02:53.020,0:02:56.621 Malheureusement,[br]cela nous aide pas avec Arr. 0:02:56.621,0:03:01.231 Mais pas de souci, la première question [br]aidera à identifier un seigneur 0:03:01.231,0:03:03.771 qui ne peut être Arr. 0:03:03.771,0:03:08.112 Ensuite, on utilisera la deuxième[br]pour savoir s'il s'agit de Tee ou Eff. 0:03:08.112,0:03:09.371 Et quand on sait cela, 0:03:09.371,0:03:12.955 on lui demandera d'identifier [br]l'un des deux autres. 0:03:13.205,0:03:14.732 Commençons. 0:03:14.732,0:03:16.572 Demande à l'extraterrestre au milieu : 0:03:16.572,0:03:20.262 « Si je te demandais si le seigneur[br]à ma gauche est Arr, 0:03:20.262,0:03:22.122 me dirais-tu « ozo » ? » 0:03:22.122,0:03:26.342 Si la réponse est « ozo »,[br]il y a deux possibilités : 0:03:26.342,0:03:30.961 tu parles déjà avec Arr[br]et la réponse n'a pas de sens 0:03:30.961,0:03:34.921 ou tu parles soit avec Tee soit avec Eff, 0:03:34.921,0:03:36.191 et comme on le sait, 0:03:36.191,0:03:41.402 recevoir « ozo » de l'un des deux prouve[br]la justesse de ta question hypothétique 0:03:41.402,0:03:44.713 et le seigneur à gauche est bien Arr. 0:03:44.713,0:03:49.463 Dans les deux cas, le seigneur [br]sur la droite n'est pas Arr. 0:03:49.463,0:03:52.072 De la même manière, [br]si la réponse est « ulu », 0:03:52.072,0:03:55.662 alors tu sais que le seigneur [br]à gauche ne peut pas être Arr. 0:03:55.662,0:04:00.027 Va maintenant voir le seigneur[br]que tu sais ne pas être Arr et demande : 0:04:00.027,0:04:04.163 « Si je te demande si tu es Eff,[br]répondras-tu « ozo » ? » 0:04:04.163,0:04:07.152 Tu n'as plus à te préoccuper[br]de la possibilité aléatoire, 0:04:07.152,0:04:11.303 chacune des deux réponses[br]établira son identité. 0:04:11.303,0:04:14.373 Maintenant que tu sais si ses réponses[br]sont justes ou fausses, 0:04:14.373,0:04:19.471 demande au même extraterrestre[br]si le seigneur du centre est Arr. 0:04:19.471,0:04:23.984 Le processus d'élimination[br]identifiera celui qui reste. 0:04:23.984,0:04:26.853 Les seigneurs satisfaits vous aident[br]à réparer votre vaisseau 0:04:26.853,0:04:28.863 et vous vous préparez à vous envoler. 0:04:28.863,0:04:33.473 Ayant encore une question à poser,[br]tu demandes à Tee si la Terre est loin 0:04:33.473,0:04:36.393 et il répond « ozo ». 0:04:36.393,0:04:39.283 Dommage, tu ne sais toujours pas[br]ce que cela signifie.