Machine de Turing(la)

La machine de TuringSi 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 GirardDirecteur de recherche émérite au CNRS, il est spécialiste de logique mathématique.Traduit de l'anglais par Julien Basch et Patrice Blanchard