La Machine de Turing

Si l'invention de l'ordinateur ne peut ê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, explicitée dans un article de 1936, est ici complétée par un autre article fondateur, Les ordinateurs et l'intelligence, où l'auteur met en questions ce qui deviendra l'intelligence artificielle. 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.Biographie de l'auteurAlan Turing est né en 1912. Mathématicien et ingénieur, il s'est intéressé à la morphogenèse biologique, a œuvré avec succès au déchiffrage des messages codés allemands pendant la guerre, et activement participé à la conception des premiers ordinateurs. Il s'est suicidé en 1954. Jean-Yves Girard, né en 1947, est directeur de recherche au CNRS. Spécialiste de logique mathématique, il travaille à l'Université de Marseille-Luminy. Traductions de l'anglais par Julien Basch et Patrice Blanchard