© 2015

Turing’s Revolution

The Impact of His Ideas about Computability

  • Giovanni Sommaruga
  • Thomas Strahm


  • The book is focussing on logic and theoretical computer science

  • Excellent balance of historical, technical and philosophical papers

  • A unique mix of grand old authorities and young high level specialists?


Table of contents

  1. Front Matter
    Pages i-xxiv
  2. Turing and the History of Computability Theory

    1. Front Matter
      Pages 1-1
    2. Martin Davis, Wilfried Sieg
      Pages 3-27
    3. B. Jack Copeland, Giovanni Sommaruga
      Pages 43-101 Open Access
  3. Generalizing Turing Computability Theory

    1. Front Matter
      Pages 103-103
    2. J. V. Tucker, J. I. Zucker
      Pages 127-160
    3. P. D. Welch
      Pages 161-185
    4. Yuri Gurevich
      Pages 187-206
    5. George Barmpalias, Andy Lewis-Pye
      Pages 207-224
    6. L. D. Beklemishev
      Pages 225-270
  4. Philosophical Reflections

    1. Front Matter
      Pages 271-271
    2. Stewart Shapiro
      Pages 283-296
    3. Robert Irving Soare
      Pages 297-310

About this book


This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical influence of Turing’s work, it is possible to gather new perspectives and new research topics which might be considered as a continuation of Turing’s working ideas well into the 21st century.

The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?” is available open access under a Creative Commons Attribution 4.0 International License via


Alonzo Church Emil Post computer music generalised computability philosophy of computability

Editors and affiliations

  • Giovanni Sommaruga
    • 1
  • Thomas Strahm
    • 2
  1. 1.Department of Humanities, Social and Political SciencesETH ZurichZurichSwitzerland
  2. 2.Institute of Computer Science and Applied MathematicsUniversity of BernBernSwitzerland

About the editors

Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.

Bibliographic information

Industry Sectors
Finance, Business & Banking


“There is a wide variety of content … in this collection about Turing’s ideas and what they meant for mathematics and computer science. … People of all mathematical and computer science backgrounds will find something of interest in this collection. Educators that would like to go deeper into the meaning of computability and algorithms can find material that will set the stage for discussions and research papers on the meaning and impact of the life and work of Alan Turing.” (Charles Ashbacher, MAA Reviews,, February, 2016)