Chargement...
Chargement...

La machine de Turing

Auteur : Alan Mathison Turing

Auteur : Jean-Yves Girard

Paru le : 10/05/1995
Éditeur(s) : Seuil
Série(s) : Non précisé.
Contributeur(s) : Traducteur : Julien Basch - Traducteur : Patrice Blanchard

23,40 €
Expédié en 24/48h
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

Résumé

Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables. ©Electre 2018

Quatrième de couverture

Le nom d'Alan Turing est attaché à deux concepts, celui de machine de Turing, qui donne son titre à ce recueil, et celui de test de Turing. Une machine de Turing est un modèle mathématique simple pour tout processus de calcul, dont l'idée de base est qu'un homme en train de calculer peut être comparé à une machine. Ce modèle de la calculabilité a sa source dans un article de 1936 sur les nombres calculables, traduit ici pour la première fois en français. Turing y démontre, entre autres, qu'il existe des nombres définissables qui ne sont pas calculables et en déduit que le problème de la décision de Hilbert (Entscheidungsproblem) n'a pas de solution. En 1950, il publie «Les ordinateurs et l'intelligence», qui commence par ces mots : «Je propose de considérer la question : les machines peuvent-elles penser ? ...», et où il présente son célèbre jeu de l'imitation comme test décisif. En lisant ces deux articles en miroir, à la lumière des commentaires «critiques» de Jean-Yves Girard, on verra que test et machine de Turing anticipent et éclairent conjointement la révolution informatique de notre siècle.

Fiche Technique

Paru le : 10/05/1995

Thématique : Mathématiques 1er Cycle

Auteur(s) : Auteur : Alan Mathison Turing Auteur : Jean-Yves Girard

Éditeur(s) : Seuil

Collection(s) : Sources du savoir, n° 248

Série(s) : Non précisé.

ISBN : 2-02-013571-X

EAN13 : 9782020135719

Format : Non précisé.

Reliure : Broché

Pages : 174

Hauteur : 21 cm / Largeur : 14 cm

Épaisseur : 1,5 cm

Poids : 220 g