Turing’s Revolution

The Impact of His Ideas about Computability

  • Giovanni Sommaruga
  • Thomas Strahm

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. 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.


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

Bibliographic information