La Machine De Turing. This item is unavailable.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

Jean-Yves Girard est né en 1947. Il enseigne à l'université Paris VII. Il est directeur de recherches au CNRS. Spécialiste de la théorie de la démonstration.