Le Turing annoté -The Annotated Turing
Auteur | Charles Petzold |
---|---|
Langue | Anglais |
Matière | Mathématiques et informatique |
Genre | Non-fiction |
Éditeur | John Wiley et fils |
Date de publication |
2008 |
Type de support | Imprimer ( broché ) |
Des pages | 372 |
ISBN | 978-0-470-22905-7 |
OCLC | 2008022829 |
511,3 / 52 22 | |
Classe LC | QA267 .P48 |
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine est un livre de Charles Petzold , publié en 2008 par John Wiley & Sons, Inc.
Petzold annote l'article d' Alan Turing "Sur les nombres calculables, avec une application au problème d'Entscheidungs ". Le livre emmène les lecteurs phrase par phrase à travers l'article de Turing, fournissant des explications, d'autres exemples, des corrections et des informations biographiques.
Table des matières
-
Partie I. Fondations
- Chapitre 1: Ce tombeau contient Diophantus
- Chapitre 2: L'irrationnel et le transcendantal
- Chapitre 3: Des siècles de progrès
-
Partie II. Nombres calculables
- Chapitre 4: L'éducation d'Alan Turing
- Chapitre 5: Machines au travail
- Chapitre 6: Addition et multiplication
- Chapitre 7: Aussi connu sous le nom de sous-programmes
- Chapitre 8: Tout est un nombre
- Chapitre 9: La machine universelle
- Chapitre 10: Ordinateurs et calculabilité
- Chapitre 11: Des machines et des hommes
-
Partie III. Das Entscheidungsproblem
- Chapitre 12: Logique et calculabilité
- Chapitre 13: Fonctions calculables
- Chapitre 14: La preuve majeure
- Chapitre 15: Le calcul Lambda
- Chapitre 16: Concevoir le continuum
-
Partie IV. Et au-delà
- Chapitre 17: Tout est-il une machine de Turing?
- Chapitre 18: Le long sommeil de Diophantus
Voir également
- Alan Turing: L'énigme (1983)
- Le guide de Turing (2017)