La machine de Turing

• Auteur : Alan Turing
• • Editeur : Seuil 1999
  • Collection : Point
  • ISBN/ISSN : 978-2-02-036928-2
  • Format : 174 p.
• • Nature du document : documentaire
  • Résumé :

    Présentation de la "machine de Turing" qui est un modèle mathématique simple pour tout processus de calcul, dont l'idée de base est qu'un homme en train de calculer peut être comparé à une machine, suivi d'un commentaire de Jean-Yves Girard.

• • Descripteurs : calcul numérique histoire informatique instrument de calcul
  • Mots-clés : Turing, Alan (1912-1954)