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 2025
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
Contributeur(s) : Traducteur : Julien Basch - Traducteur : Patrice Blanchard
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782020135719
Reliure : Broché
Pages : 174
Hauteur: 21.0 cm / Largeur 14.0 cm
Épaisseur: 0.1 cm
Poids: 501 g
Carte fidélité
Mollat Radio
