Description

Book Synopsis
Before digital computers ever existed, Alan Turing envisioned their power and versatility. but also proved what computers could never do.

Table of Contents

Introduction vii

I Foundations 1

1 This Tomb Holds Diophantus 3

2 The Irrational and the Transcendental 13

3 Centuries of Progress 35

II Computable Numbers 55

4 The Education of Alan Turing 57

5 Machines at Work 79

6 Addition and Multiplication 97

7 Also Known as Subroutines 111

8 Everything Is a Number 127

9 The Universal Machine 143

10 Computers and Computability 163

11 Of Machines and Men 189

III Das Entscheidungsproblem 199

12 Logic and Computability 201

13 Computable Functions 231

14 The Major Proof 259

15 The Lambda Calculus 281

16 Conceiving the Continuum 299

IV And Beyond 323

17 Is Everything a Turing Machine? 325

18 The Long Sleep of Diophantus 351

Selected Bibliography 361

Index 366

The Annotated Turing A Guided Tour Through Alan

    Product form

    £20.40

    Includes FREE delivery

    RRP £24.00 – you save £3.60 (15%)

    Order before 4pm today for delivery by Mon 15 Jun 2026.

    A Paperback / softback by Charles Petzold

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of The Annotated Turing A Guided Tour Through Alan by Charles Petzold

      Publisher: John Wiley & Sons Inc
      Publication Date: 13/06/2008
      ISBN13: 9780470229057, 978-0470229057
      ISBN10: 0470229055

      Description

      Book Synopsis
      Before digital computers ever existed, Alan Turing envisioned their power and versatility. but also proved what computers could never do.

      Table of Contents

      Introduction vii

      I Foundations 1

      1 This Tomb Holds Diophantus 3

      2 The Irrational and the Transcendental 13

      3 Centuries of Progress 35

      II Computable Numbers 55

      4 The Education of Alan Turing 57

      5 Machines at Work 79

      6 Addition and Multiplication 97

      7 Also Known as Subroutines 111

      8 Everything Is a Number 127

      9 The Universal Machine 143

      10 Computers and Computability 163

      11 Of Machines and Men 189

      III Das Entscheidungsproblem 199

      12 Logic and Computability 201

      13 Computable Functions 231

      14 The Major Proof 259

      15 The Lambda Calculus 281

      16 Conceiving the Continuum 299

      IV And Beyond 323

      17 Is Everything a Turing Machine? 325

      18 The Long Sleep of Diophantus 351

      Selected Bibliography 361

      Index 366

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account