Le casse-tête qui rend les logiciens fous

En 1992, le philosophe George Boolos publie dans La Repubblica une énigme logique si tordue qu'elle devient légendaire. Trois dieux, trois réponses possibles (oui, non, aléatoire), des questions qui s'entrelacent : tu dois découvrir l'identité de chacun en seulement trois questions. Le piège ? Les dieux répondent dans une langue inconnue où "da" et "ja" signifient oui ou non — mais tu ignores lequel est lequel. Boolos l'a conçue en s'inspirant des énigmes du maître Raymond Smullyan, et elle s'est propagée comme un virus intellectuel parmi les amateurs de logique pure. Des décennies après, des mathématiciens la résolvent encore — certains y laissent des cheveux.