La machine de turing (poche)
TURING
Présentation
Présentation de l'éditeurSi linvention de lordinateur ne peu être attribuée à un personnage unique, le Britannique Alan Turing est un de ceux qui ont aidé - au plan de la théorie et de la logique - à définir ce que pourrait être un modèle mathématique simple pour tout processus de calcul. Cette machine de Turing est explicitée dans un article de 1936, ici complété par un autre article fondateur, Les ordinateurs et lintelligence, où lauteur met en questions ce qui deviendra l « intelligence artificielle ». Deux commentaires critiques du logiciel 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.