To Mock a Mockingbird : and other logical puzzles

Dans cette collection divertissante et stimulante d'énigmes logiques, Raymond Smullyan, auteur de Forever Undecided, continue de nous ravir et de nous étonner avec son talent pour présenter certaines des réflexions mathématiques les plus importantes de notre époque sous la forme agréable d'énigmes. Dans la première partie du livre, il nous transporte une fois de plus dans ce merveilleux royaume où les chevaliers, les escrocs, les sœurs jumelles, les frères quadruplés, les dieux, les démons et les mortels disent toujours la vérité ou mentent toujours, et où les chercheurs de vérité sont confrontés à une variété de problèmes fascinants. Cette section culmine dans un métapuzzle enchanteur et profond dans lequel l'inspecteur Craig de Scotland Yard se lance dans une quête de la Fontaine de Jouvence sur l'île des Chevaliers et des Escrocs. Dans la deuxième partie de To Mock a Mockingbird, nous accompagnons l'inspecteur dans une aventure estivale dans le domaine de la logique combinatoire, une branche de la logique qui joue un rôle important en informatique et en intelligence artificielle. Son aventure, qui comprend des forêts enchantées, des oiseaux parlants, des sociologues d'oiseaux et une quête classique, nous offre en chemin le plaisir de résoudre des énigmes de complexité croissante jusqu'à ce que nous atteignions la Maître Forêt et, grâce au célèbre théorème de Gödel, la révélation finale.