The Turing Guide

by Copeland, Jack; Bowen, Jonathan; Sprevak, Mark; Wilson, Robin

• ISBN13: 9780198747833
• ISBN10: 0198747837
• Format: Paperback
• Copyright: 2017-03-26
• Publisher: Oxford University Press

Author Biography

Jack Copeland, University of Canterbury, NZ,Jonathan Bowen,B. Mark Sprevak,Robin Wilson

Jack Copeland FRS NZ is Distinguished Professor in Arts at the University of Canterbury, New Zealand, where he is Director of the Turing Archive for the History of Computing. He has been script advisor and scientific consultant for a number of recent documentaries about Turing. Jack is Co-Director of the Turing Centre at the Swiss Federal Institute of Technology (ETH), Zurich, and also Honorary Research Professor in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. In 2012 he was Royden B. Davis Visiting Chair of Interdisciplinary Studies in the Department of Psychology at Georgetown University, Washington DC, and in 2015-16 was a Fellow at the Institute for Advanced Studies in Israel. A Londoner by birth, he earned a D.Phil. in mathematical logic from the University of Oxford, where he was taught by Turing's great friend Robin Gandy.

Robin Wilson is an Emeritus Professor of Pure Mathematics at the Open University, UK, and of Geometry at Gresham College, London. After graduating from Oxford, he received his Ph.D. degree in number theory from the University of Pennsylvania. He has written and co-edited many books on graph theory and the history of mathematics, including Four Colors Suffice and Combinatorics: Ancient & Modern. His historical research interests include British mathematics and the history of graph theory and combinatorics, and he has been President of the British Society for the History of Mathematics. An enthusiastic popularizer of mathematics, he won two awards for expository writing from the Mathematical Association of America.


Mark Sprevak is a Senior Lecturer in Philosophy at the University of Edinburgh. His primary research interests are in philosophy of mind, philosophy of science, and metaphysics, with particular focus on the cognitive sciences. He has published articles in, among other places, The Journal of Philosophy, The British Journal for the Philosophy of Science, Synthese, Philosophy, Psychiatry & Psychology, and Studies in History and Philosophy of Science. His book The Computational Mind is forthcoming from Routledge.


Jonathan P. Bowen FBCS FRSA is Emeritus Professor of Computing at London South Bank University, where he established and headed the Centre for Applied Formal Methods in 2000. During 2013-15 he was Professor of Computer Science at Birmingham City University. Previously he was a lecturer at the University of Reading, a senior researcher at the Oxford University Computing Laboratory's Programming Research Group, and a research assistant at Imperial College, London. Since 1977 he has been involved with the field of computing in both academia and industry. His books include: Formal Specification and Documentation using Z; High-Integrity System Specification and Design; Formal Methods: State of the Art and New Directions; and Electronic Visualisation in Arts and Culture.

Table of Contents

Biography
1. Life and work, JACK COPELAND and JONATHAN BOWEN
2. The man with the terrible trousers, SIR JOHN DERMOT TURING
3. Meeting a genius, PETER HILTON
4. Crime and punishment, JACK COPELAND
THE UNIVERSAL MACHINE AND BEYOND
5. A century of Turing, STEPHEN WOLFRAM
6. Turing's great invention: the universal computing machine, JACK COPELAND
7. Hilbert and his famous problem, JACK COPELAND
8. Turing and the origins of digital computers, BRIAN RANDELL
CODEBREAKER
9. At Bletchley Park, JACK COPELAND
10. The Enigma machine, JOEL GREENBERG
11. Breaking machines with a pencil, MAVIS BATEY
12. Bombes, JACK COPELAND, with JEAN VALENTINE and CATHERINE CAUGHEY
13. Introducing Banburismus, EDWARD SIMPSON
14. Tunny, Hitler's biggest fish, JACK COPELAND
15. We were the world's first computer operators, ELEANOR IRELAND
16. The Testery: breaking Hitler's most secret code, JERRY ROBERTS
17. Ultra revelations, BRIAN RANDELL
18. Delilah - encrypting speech, JACK COPELAND
19. Saving the Park, SIMON GREENISH and JONATHAN BOWEN
COMPUTERS AFTER THE WAR
20. The Manchester Baby, JACK COPELAND
21. ACE, London's first computer, MARTIN CAMPBELL-KELLY
22. Turing's Zeitgeist, BRIAN E. CARPENTER and ROBERT W. DORAN
23. Computer music, JACK COPELAND and JASON LONG
24. Turing, Lovelace, and Babbage, DORON SWADE
ARTIFICIAL INTELLIGENCE AND THE MIND
25. Intelligent machinery, JACK COPELAND
26. Turing's model of the mind, MARK SPREVAK
27. The Turing test - from every angle, DIANE PROUDFOOT
28. Turing's concept of intelligence, DIANE PROUDFOOT
29. Connectionism: computing with neurons, JACK COPELAND and DIANE PROUDFOOT
30. Child machines, DIANE PROUDFOOT
31. Computer chess - the first moments, JACK COPELAND and DANI PRINZ
32. Turing and the paranormal, DAVID LEAVITT
BIOLOGICAL GROWTH
33. Pioneer of artificial life, MARGARET BODEN
34. Turing's theory of morphogenesis, THOMAS E. WOOLLEY, RUTH BAKER, and PHILIP MAINI
35. Radiolaria: validating the Turing theory, BERNARD RICHARDS
Mathematics
36. Introducing Turing's mathematics, ROBIN WHITTY and ROBIN WILSON
37. Decidability and the Entscheidungsproblem, ROBIN WHITTY
38. Banburismus revisited: depths and Bayes, EDWARD SIMPSON
39. Turing and randomness, ROD DOWNEY
40. Turing's mentor, Max Newman, IVOR GRATTAN-GUINNESS
Finale
41. Is the whole universe a computer?, JACK COPELAND, ORON SHAGRIR, and MARK SPREVAK
42. Turing's legacy, JONATHAN BOWEN