Rayon Fondements des mathématiques (logique)
Fiche technique
Format : Broché
Nb de pages : 192 pages
Poids : 104 g
Dimensions : 11cm X 18cm
EAN : 9782020369282
La machine de Turing
Chez
Seuil
Collection(s) |
Points
Paru le 18/03/1999
Broché
192 pages
traduit de l'anglais par Julien Basch, Patrice Blanchard
Doctorat
Quatrième de couverture
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.
