Book contents
- Frontmatter
- Contents
- Preface
- A quick tour through the book
- Acknowledgments
- Prologue: Blog entry from Jonathan Hey
- 1 Beginnings of a revolution
- 2 The hardware
- 3 The software is in the holes
- 4 Programming languages and software engineering
- 5 Algorithmics
- 6 Mr. Turing’s amazing machines
- 7 Moore’s law and the silicon revolution
- 8 Computing gets personal
- 9 Computer games
- 10 Licklider’s Intergalactic Computer Network
- 11 Weaving the World Wide Web
- 12 The dark side of the web
- 13 Artificial intelligence and neural networks
- 14 Machine learning and natural language processing
- 15 The end of Moore’s law
- 16 The third age of computing
- 17 Computers and science fiction – an essay
- Epilogue: From Turing’s padlocked mug to the present day
- Appendix 1 Length scales
- Appendix 2 Computer science research and the information technology industry
- How to read this book
- Notes
- Suggested reading
- Figure credits
- Name index
- General index
6 - Mr. Turing’s amazing machines
Published online by Cambridge University Press: 05 December 2014
- Frontmatter
- Contents
- Preface
- A quick tour through the book
- Acknowledgments
- Prologue: Blog entry from Jonathan Hey
- 1 Beginnings of a revolution
- 2 The hardware
- 3 The software is in the holes
- 4 Programming languages and software engineering
- 5 Algorithmics
- 6 Mr. Turing’s amazing machines
- 7 Moore’s law and the silicon revolution
- 8 Computing gets personal
- 9 Computer games
- 10 Licklider’s Intergalactic Computer Network
- 11 Weaving the World Wide Web
- 12 The dark side of the web
- 13 Artificial intelligence and neural networks
- 14 Machine learning and natural language processing
- 15 The end of Moore’s law
- 16 The third age of computing
- 17 Computers and science fiction – an essay
- Epilogue: From Turing’s padlocked mug to the present day
- Appendix 1 Length scales
- Appendix 2 Computer science research and the information technology industry
- How to read this book
- Notes
- Suggested reading
- Figure credits
- Name index
- General index
Summary
Electronic computers are intended to carry out any definite rule of thumb process which could have been done by a human operator working in a disciplined but unintelligent manner.
Alan TuringWARNING: This chapter is more mathematical in character than the rest of the book. It may therefore be hard going for some readers, and they are strongly advised either to skip or skim through this chapter and proceed to the next chapter. This chapter describes the theoretical basis for much of formal computer science.
Hilbert’s challenge
Are there limits to what we can, in principle, compute? If we build a big enough computer, surely it can compute anything we want it to? Or are there some questions that computers can never answer, no matter how big and powerful a computer we build. These fundamental questions for computer science were being addressed long before computers were built!
In the early part of the twentieth century, mathematicians were struggling to come to terms with many new concepts including the theory of infinite numbers and the puzzling paradoxes of set theory. The great German mathematician David Hilbert (B.6.1) had put forward this challenge to the mathematics community: put mathematics on a consistent logical foundation. It is now diffi cult to imagine, but in the early twentieth century, mathematics was in as great a turmoil as physics was at that time. In physics, the new theories of relativity and quantum mechanics were overturning all our classical assumptions about nature. What was happening in mathematics that could be comparable to these revolutions in physics?
- Type
- Chapter
- Information
- The Computing UniverseA Journey through a Revolution, pp. 102 - 119Publisher: Cambridge University PressPrint publication year: 2014