Annotated Turing 0470229055, 978-0-470-22905-7
на английском: Before digital computers ever existed, Alan Turing envisioned their power and versatility...but also prov
265 20 303KB
English Pages 385 Year 2008
Table of contents :
Part I. Foundations Chapter 1: This Tomb Holds Diophantus
Chapter 2: The Irrational and the Transcendental
Chapter 3: Centuries of Progress Part II. Computable Numbers Chapter 4: The Education of Alan Turing
Chapter 5: Machines at Work
Chapter 6: Addition and Multiplication
Chapter 7: Also Known as Subroutines
Chapter 8: Everything is a Number
Chapter 9: The Universal Machine
Chapter 10: Computers and Computability
Chapter 11: Of Machines and Men Part III. Das Entscheidungsproblem Chapter 12: Logic and Computability
Chapter 13: Computable Functions
Chapter 14: The Major Proof
Chapter 15: The Lambda Calculus
Chapter 16: Conceiving the Continuum Part IV. And Beyond Chapter 17: Is Everything a Turing Machine?
Chapter 18: The Long Sleep of Diophantus Примеры страниц
Part I. Foundations Chapter 1: This Tomb Holds Diophantus
Chapter 2: The Irrational and the Transcendental
Chapter 3: Centuries of Progress Part II. Computable Numbers Chapter 4: The Education of Alan Turing
Chapter 5: Machines at Work
Chapter 6: Addition and Multiplication
Chapter 7: Also Known as Subroutines
Chapter 8: Everything is a Number
Chapter 9: The Universal Machine
Chapter 10: Computers and Computability
Chapter 11: Of Machines and Men Part III. Das Entscheidungsproblem Chapter 12: Logic and Computability
Chapter 13: Computable Functions
Chapter 14: The Major Proof
Chapter 15: The Lambda Calculus
Chapter 16: Conceiving the Continuum Part IV. And Beyond Chapter 17: Is Everything a Turing Machine?
Chapter 18: The Long Sleep of Diophantus Примеры страниц
![The annotated Turing: A guided tour through Alan Turing's historic paper [Wiley ed.]
0470229055, 9780470229057](https://ebin.pub/img/200x200/the-annotated-turing-a-guided-tour-through-alan-turings-historic-paper-wileynbsped-0470229055-9780470229057.jpg)
![Meditations: The Annotated Edition [Annotated]
1541673859, 9781541673854](https://ebin.pub/img/200x200/meditations-the-annotated-edition-annotated-1541673859-9781541673854.jpg)
![The Annotated Book of Mormon [Annotated]
0190082208, 9780190082208](https://ebin.pub/img/200x200/the-annotated-book-of-mormon-annotated-0190082208-9780190082208.jpg)
![The Annotated Luther, Volume 4: Pastoral Writings [Annotated]
9781451462722, 1451462727](https://ebin.pub/img/200x200/the-annotated-luther-volume-4-pastoral-writings-annotated-9781451462722-1451462727.jpg)
