Tangente Hors-série. N° 15. Vol. 1. p. 38-40. Les machines de Turing.
Auteur : Lehning Hervé
Résumé
Comment définir de façon rigoureuse ce qui est calculable et ce qui ne l’est pas ? L’auteur de cet article présente la réponse qu’a donnée Turing en créant les machines qui portent son nom. Contrairement à ce que le nom peut laisser croire, c’est un outil théorique.
Notes
Cet article est publié sous la rubrique « Savoirs ».
Il fait partie du dossier : Le projet de Hilbert dans Tangente Hors-série n° 15 – Vol. 1 – La logique.
Il est également paru dans l’ouvrage Bibliothèque Tangente n° 15 – La logique.
Données de publication
Éditeur Editions POLE Paris , 2003 Format A4, p. 38-40
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type article de périodique ou revue, vulgarisation, popularisation Langue français Support internet
Classification