The Once and Future Turing

Book: "The Once and Future Turing - Computing the World"

Editors: S. Barry Cooper and Andrew Hodges
Publisher: Cambridge University Press
Publication Date: 2013

Level of presentation:

Will take Scientific American articles as a model, but allow more mathematical expressions than Scientific American does. Pictures and diagrams would be welcome. The volume will be written by world-leading experts, but be relatively accessible and informative to both experts and non-experts. Contributions expressing a contemporary viewpoint on topics and areas influenced by Turing are encouraged.

Outline of contents:

  1. General preface
  2. Artificial intelligence / philosophy of Mind
  3. Computability in mathematics and logic
  4. Number theory and the Riemann hypothesis
  5. Beyond computability in mathematics and physics
  6. Quantum mechanics in computing, complexity and cryptology
  7. Emergence in nature

Notes, and invited contributors, for each section:

  1. Should contain a general introduction, containing background, history, and introducing the authors and their contributions
    Andrew Hodges: Introduction
  2. The structure of contributions should emphasise that Turing advocated both top-down and bottom-up approaches to AI.
    Douglas Hofstadter: Dull Rigid Human Meets Ace Mechanical Translator - A Dialogue in Honor of Alan Mathison Turing by Douglas Richard Hofstadter
    Christof Teuscher: Designed versus Intrinsic Computation
  3. Contributors:
    Martin Davis: Algorithms, Equations, and Logic
    Solomon Feferman and S. Barry Cooper: Turing's `Oracle' Revisited: From Absolute to Relative Computability - and Back
    Martin Hyland: The Forgotten Turing
  4. This section might also have some very interesting things to say about more general use of computation in pure mathematical research, in ways that were totally impossible in Turing's time, but where he was a pioneer.
    Andrew Booker: Turing and the Primes
    The Riemann Hypothesis, what Turing did and what computation can now achieve. With some examples of other current number-theoretic conjectures, plus some plots and illustrations of prime number distribution etc.

  5. Should explore the question what logicians now see as the role of logic in understanding the world, as reflected in the whole book. A big topic.
    S. Barry Cooper: Computing in an Incomputable World
    An overview of logical approaches to computability in the real world. Will look at the delicate balance between mathematical structure and embodied computation in various contexts.
    Roger Penrose: On Attempting to Model the Mathematical Mind
    Philip Welch: Turing Transcendent: Beyond the Event Horizon
  6. A topic which leads into complexity theory, P/NP etc.
    Scott Aaronson: The Ghost in the Quantum Turing Machine
    Ueli Maurer: Cryptography and Computation after Turing
    Discussion of some modern topics in cryptography and information theory in relation to Turing's work.
  7. This piece might also touch on the whole emergent question of synthetic life and the relationship between morphogenesis and evolutionary theory.
    Richard Gordon: Walking the Tightrope: the Dilemma of Hierarchical Instabilities in Morphogenesis
    Stuart Kauffman: Answering Descartes: Beyond Turing
    An open quantum information processing system that is also in 'Poised Realm', and exhibits classical behavior: a Trans-Turing system that is not algorithmic. New physics, arising for open quantum systems, including both decoherence, the quantum AntiZeno effect as confirmed experimentally, and more recently REcoherence from classical behavior back to quantum coherent behavior. Relevance to theories of brain function.
    Philip Maini, Thomas Woolley, Eamonn Gaffney and Ruth Baker: Turing's Theory of Biological Pattern Formation
    A brief introduction to pattern formation. Turing's model - Its predictions and ideas that emerge; developmental constraints. Examples where the model is consistent with experiment. Examples where it is not. Present day applications. Other models proposed.
    Stephen Wolfram: What Turing Might Have Discovered

Alan Turing Institute Almere Association for Computing Machinery The Society for the Study of Artificial Intelligence and Simulation of Behaviour Association for Symbolic Logic Audioboo British Computer Society Bletchley Park Bletchley Park Post Office Brazilian Computing Society Brazilian Logic Society British Logic Colloquium British Society for the History of Mathematics the source site Cambridge University Cambridge University Press Computability in Europe Computing at School CODDII CS4FN CSHPM Computer Society of India Centrum Wiskunde & Informatica DVMLG European Association for Computer Science Logic European Association for Theoretical Computer Science European Mathematical Society Elsevier Ely Runners Enigma and Friends Association of Logic, Language and Information Gesellschaft für Informatik E.V. (GI) Heinz Nixdorf MuseumsForum Hong Kong Computer Society International Association for Computing and Philosophy (IACAP) IACR IET IFCoLog IOS Press Isaac Newton Institute Kurt Gödel Society King's College, Cambridge LABORES IEEE Symposium on Logic in Computer Science London Mathematical Society LGBT History Month Manchester City Council University of Manchester Manchester Metropolitan University Microsoft Research Cambridge MIDAS Museum of Science & Industry National Physical Laboratory (NPL) OUP Plus Magazine Rainbow Radio Reading University Royal Society of Edinburgh Royal United Services Institute SCIE Sherborne School Taylor and Francis John Templeton Trust Turing100in2012 Turing Lecture 2012 UFRGS UKBR UK Mathematics Trust UNESCO Chair in Information and Computer Ethics Web Intelligence Consortium Wiley Wolfram Research

Websites: S. Barry Cooper, with technical assistance from Arnold Beckmann and Tim Hainsworth -

and many thanks to Lourens Thalen and for the ATY masthead
2013-09-16 Valid HTML 4.01! Valid CSS!