Bibliographic record and links to related information available from the Library of Congress catalog.
Note: Contents data are machine generated based on pre-publication provided by the publisher. Contents may have variations from the printed book or be incomplete or contain other coding.
Contents FM (List all FM elements in order below - delete rows if element not needed) Half Title Page Series Pages Title Page Copyright Page Dedication TOC Foreword Preface Acknowledgements Author Bios Introduction I Foundations 1 This Tomb Holds Diophantus 2 The Irrational and the Transcendental 3 Centuries of Progress II Computable Numbers 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 III Das Entscheidungsproblem 12 First-Order Logic 13 Computability Continued 14 The Major Proof 15 The Lambda Calculus IV And Beyond 16 Conceiving the Continuum 17 Is Everything a Turing Machine? 18 Diaphantus Awakes AppA AppB Index Index
Library of Congress Subject Headings for this publication:
Turing, Alan Mathison, 1912-1954.
Turing machines.
Computational complexity.