La machine de Turing
Enregistré dans:
| Auteur principal: | |
|---|---|
| Autres auteurs: | , , |
| Support: | Livre |
| Langue: | Français |
| Publié: |
Paris :
Ed. du Seuil,
cop. 1995
|
| Collection: | Points. Sciences
S131 |
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Résumé: | 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. |
| Traduit de: | -- On computable numbers -- Computing machinery and intelligence |