La machine de Turing / Alan, Turing ; Jean-Yves, Girard ; Julien Basch et Patrice Blanchard (traduit de l'anglais par) [ Livre]
Langue: Français ; de l'oeuvre originale, Français.Publication : Paris : Seuil, 1995Description : 174 p. ; 21 cmISBN: 202013571X.Collection: Sources du savoirClassification: 004.15 Langages formels, automates et calculabilitéRésumé: Comprends 2 articles d'Alan Turing : "On Computable numbers" et "Computing machinery and intelligence", précédés chacun d'une introduction inédite de Jean-Yves Girard. 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.Sujet - Nom commun: Turing, Machines de | Turing, Alan Mathison (1912-1954) | Modèles mathématiques | Intelligence artificielle | Informatique -- théorie | Fonctions récursives | Fonctions calculables | Complexité de calcul (informatique) | Automates mathématiques, Théorie des | Algorithmes| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.15 TUR (Browse shelf) | Available | 004.15 Langages formels, automates et calculabilité | 00007513 | |
| ENS Rennes - Bibliothèque Informatique | 004.15 TUR (Browse shelf) | Exclu du prêt | 004.15 Langages formels, automates et calculabilité | 000075131 | |
| ENS Rennes - Bibliothèque Informatique | 004.15 TUR (Browse shelf) | Available | 004.15 Langages formels, automates et calculabilité | 000075132 |
Réunit : "Théorie des nombres calculables, suivie d'une application au problème de la décision", et "Les ordinateurs et l'intelligence" / par Alan Turing
Comprends 2 articles d'Alan Turing : "On Computable numbers" et "Computing machinery and intelligence", précédés chacun d'une introduction inédite de Jean-Yves Girard.
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