Intéressant article de Jean-Paul Delahaye dans Pour la Science du mois d'avril 2007.
Le problème de l’ange du mathématicien anglais John Conway est un casse-tête concernant le confinement d’un pion se déplaçant sur un échiquier. Cette énigme appartient à une catégorie de jeux inventés par David Silverman et Richard Epstein à la fin des années 1940. Voyons son énoncé. Un ange, qui occupe une case d’un échiquier infini à cases carrées, se déplace comme le roi du jeu d’échecs : d’une case vers la droite, ou vers la gauche, ou vers le haut ou vers le bas ou en diagonale. L’ange cherche à échapper au démon qui, à chaque coup, détruit une case de son choix de l’échiquier (différente de la case où l’ange est placé). Le démon commence, puis l’ange et le démon jouent à tour de rôle. Le but du démon est de coincer l’ange, c’est-à-dire de l’emprisonner au centre de huit cases détruites. Le but de l’ange est d’échapper indéfiniment au démon. Aucun élément de hasard n’étant présent dans le jeu, l’un des deux joueurs possède une méthode lui assurant de gagner : ou l’ange est confiné ou il ne l’est pas. Lequel des deux gagne et comment doit-il procéder ?

A lire :