La machine de Turing

Fiche technique

Format : Broché
Nb de pages : 192 pages
Poids : 104 g
Dimensions : 11cm X 18cm
Date de parution :
EAN : 9782020369282

La machine de Turing

de ,

chez Seuil

Collection(s) : Points

Paru le | Broché 192 pages

Doctorat

Poche
8.30 Disponible - Expédié sous 6 jours ouvrés
Ajouter au panier

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.

Du même auteur : Jean-Yves Girard