|
Titre :
|
La machine de Turing
|
|
Auteurs :
|
Alan Mathison Turing, Auteur ;
Yves Girard, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Seuil, 1995
|
|
Collection :
|
Sources du savoir, ISSN 1144-6676, num. 248
|
|
ISBN/ISSN/EAN :
|
978-2-02-013571-9
|
|
Format :
|
174 p. / 21 x 14 cm
|
|
Langues:
|
Français
|
|
Langues originales:
|
Anglais
|
|
Index. décimale :
|
511 (Logique mathématique, Jeux mathématiques)
|
|
Mots-clés:
|
modèles mathématiques
;
intelligence artificielle
|
|
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.
|
