La Machine de Turing

La machine de Turing
Si l'invention de l'ordinateur ne peut être attribuée à un personnage unique, le Britannique Alan Turing est l'un des protagonistes essentiels de la révolution informatique.
La célèbre " machine de Turing ", modèle mathématique simple de tout processus de calcul, est explicitée dans un article de 1936, ici complété par un autre article fondateur, " Les ordinateurs et l'intelligence ", où l'auteur met en question ce qui deviendra l'" intelligence artificielle ".
Deux commentaires du logicien Jean-Yves Girard replacent dans son contexte historique et scientifique la pensée de Turing et illustrent sa portée novatrice.
Alan Turing (1912-1954)
Mathématicien et ingénieur, il s'est en outre intéressé à la morphogenèse biologique, a œuvré au déchiffrage des messages codés allemands pendant la Guerre et activement participé à la conception des premiers ordinateurs.
Jean-Yves Girard
Directeur de recherche émérite au CNRS, il est spécialiste de logique mathématique.
Traduit de l'anglais par Julien Basch et Patrice Blanchard