Cela débute par des petits problèmes d'arithmétique et de logique simples et cela finit par un vrai casse tête pour étudiants en informatique. Tout y passe : les théorèmes d'incomplétude de Gödel, le problème de l'arrêt des machines de Turing etc...
Le tout sous forme de jeu sympathique.