Livre
La machine de Turing
- Auteur : Alan Turing
- Editeur : Seuil Collection : Point 1999 174 p.
Présentation de la "machine de Turing" qui est un modèle mathématique simple pour tout processus de calcul, dont l'idée de base est qu'un homme en train de calculer peut être comparé à une machine, suivi d'un commentaire de Jean-Yves Girard.
