The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine /
Petzold, Charles
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold - Indianapolis, IN : Wiley Pub., c2008. - xii, 372 p. : ill. ; 23 cm.
Foreword.Preface.Acknowledgements.Author Biographies.Introduction.1. This Tomb Holds Diophantus.2. The Irrational and the Transcendental.3. Centuries of Progress.4. The Education of Alan Turing.5. Machines at Work.6. Addition and Multiplication.7. Also Known as Subroutines.8. Everything is a Number.9. The Universal Machine.10. Computers and Computability.11. Of Machines and Men.12. First-Order Logic.13. Computability Continued.14. The Major Proof.15. The Lambda Calculus.16. Conceiving the Continuum.17. Is Everything a Turing Machine?18. Diaphantus Awakes.Appendix A.Appendix B.Index.
eng
9780470229057 (Paper) 0470229055 (Paper)
2008022829
Turing, Alan Mathison, 1912-1954.
Turing machines.
Computational complexity.
QA267
511.352
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine / Charles Petzold - Indianapolis, IN : Wiley Pub., c2008. - xii, 372 p. : ill. ; 23 cm.
Foreword.Preface.Acknowledgements.Author Biographies.Introduction.1. This Tomb Holds Diophantus.2. The Irrational and the Transcendental.3. Centuries of Progress.4. The Education of Alan Turing.5. Machines at Work.6. Addition and Multiplication.7. Also Known as Subroutines.8. Everything is a Number.9. The Universal Machine.10. Computers and Computability.11. Of Machines and Men.12. First-Order Logic.13. Computability Continued.14. The Major Proof.15. The Lambda Calculus.16. Conceiving the Continuum.17. Is Everything a Turing Machine?18. Diaphantus Awakes.Appendix A.Appendix B.Index.
eng
9780470229057 (Paper) 0470229055 (Paper)
2008022829
Turing, Alan Mathison, 1912-1954.
Turing machines.
Computational complexity.
QA267
511.352