Machines de Turing et automates cellulaires : du trait gravé au très animé
Ellipses, Paris
Présentation du fonctionnement de la machine conçue en 1936 par Alan Turing pour savoir si une proposition mathématique est démontrable, ainsi que des automates cellulaires.