La machine de Turing

Turing, Alan Mathison (1912-1954). Auteur

Girard, Jean-Yves (1947-....). Éditeur scientifique | Basch, Julien. Traducteur | Blanchard, Patrice. Traducteur

Edité par Seuil - 1999

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 2015

• Contient
• Sujets
• Description