Das kommentierte Turing -The Annotated Turing
Autor | Charles Petzold |
---|---|
Sprache | Englisch |
Gegenstand | Mathematik und Informatik |
Genre | Sachbücher |
Herausgeber | John Wiley & Sons |
Veröffentlichungsdatum |
2008 |
Medientyp | Drucken ( Taschenbuch ) |
Seiten | 372 |
ISBN | 978-0-470-22905-7 |
OCLC | 2008022829 |
511,3 / 52 22 | |
LC-Klasse | QA267 .P48 |
The Annotated Turing: Eine Führung durch Alan Turings historisches Papier über Berechenbarkeit und die Turing-Maschine ist ein Buch von Charles Petzold , das 2008 von John Wiley & Sons, Inc. veröffentlicht wurde.
Petzold kommentiert Alan Turings Artikel "Über berechenbare Zahlen mit einer Anwendung auf das Entscheidungsproblem ". Das Buch führt die Leser Satz für Satz durch Turings Artikel und bietet Erklärungen, weitere Beispiele, Korrekturen und biografische Informationen.
Inhaltsverzeichnis
-
Teil I. Grundlagen
- Kapitel 1: Dieses Grab enthält Diophantus
- Kapitel 2: Das Irrationale und das Transzendentale
- Kapitel 3: Jahrhunderte des Fortschritts
-
Teil II. Berechenbare Zahlen
- Kapitel 4: Die Ausbildung von Alan Turing
- Kapitel 5: Maschinen bei der Arbeit
- Kapitel 6: Addition und Multiplikation
- Kapitel 7: Auch als Unterprogramme bekannt
- Kapitel 8: Alles ist eine Zahl
- Kapitel 9: Die Universalmaschine
- Kapitel 10: Computer und Berechenbarkeit
- Kapitel 11: Von Maschinen und Menschen
-
Teil III. Das Entscheidungsproblem
- Kapitel 12: Logik und Berechenbarkeit
- Kapitel 13: Berechenbare Funktionen
- Kapitel 14: Der Hauptbeweis
- Kapitel 15: Der Lambda-Kalkül
- Kapitel 16: Das Kontinuum konzipieren
-
Teil IV. Und darüber hinaus
- Kapitel 17: Ist alles eine Turingmaschine?
- Kapitel 18: Der lange Schlaf des Diophantus
Siehe auch
- Alan Turing: Das Rätsel (1983)
- Der Turing-Leitfaden (2017)