La machine de Turing

Auteur(s) : Alan Turing , Jean-Yves Girard
Editeur : Seuil

Nombre de pages : 176 pages
Date de parution : 16/03/1999

twitter facebook linked in viadeo |

» Donnez votre avis à propos de ce livre

Résumé

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 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 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.

Sommaire

La machine de Turing : de la calculabilité à la complexité.
Théorie des nombres calculables, suivie d'une application au problème de la décision.
Intelligence artificielle et logique naturelle.
Les ordinateurs et l'intelligence.