La machine de Turing
Collection(s) :
Points
Paru le
18/03/1999 |
Broché 192 pages
Doctorat
Poche
8.30 €
Disponible - Expédié sous 6 jours ouvrés
traduit de l'anglais par Julien Basch, Patrice Blanchard
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.