Description
Alan TURING et Jean-Yves GIRARD, 1999
Deux commentaires critiques du logicien Jean-Yves Girard replacent dans son contexte la pensée de Turing et montrent comment elle anticipe la révolution informatique de notre siècle.
La machine de Turing