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 2024
Paru le : 18/03/1999
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : Alan Mathison Turing Auteur : Jean-Yves Girard
Éditeur(s) :
Seuil
Collection(s) : Points
Contributeur(s) : Traducteur : Julien Basch - Traducteur : Patrice Blanchard
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9782020369282
Reliure : Broché
Pages : 192
Hauteur: 18.0 cm / Largeur 11.0 cm
Épaisseur: 1.0 cm
Poids: 104 g
Carte fidélité
Mollat Radio
