Turing's Revolution: The Impact of His Ideas about Computability (Hardcover) (ISBN-13: 9783319221557)

Preface (Martin Davis).-

I Introduction (Sommaruga, Strahm).-

II Turing and the history of computability theory .-

1. Conceptual Confluence in 1936: Post & Turing, Martin Davis and Wilfried Sieg.-
2. Algorithms: From Al-Khwarizmi to Turing and Beyond, Wolfgang Thomas.-
3. The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann? Jack Copeland and Giovanni Sommaruga.-

III Generalizing Turing computability theory.-

1. Theses for Computation and Recursion on Concrete and Abstract Structures, Solomon Feferman.-
2. Generalizing Computability Theory to Abstract Algebras, John V. Tucker and Jeffrey Zucker.-
3. Discrete Transfinite Computation, Philip Welch.-
4. Semantics-to-Syntax Analyses of Algorithms, Yuri Gurevich.-
5. The Information Content of Typical Reals, George Barmpalias and Andy Lewis-Pye.-
6. Proof-theoretic Analysis by Iterated Reflection, Lev Beklemishev.-

IV Philosophical reflections.-

1. Alan Turing and the Foundation of Computer Science, Juraj Hromkovic.-
2. Proving Things about the Informal, Stewart Shapiro.-
3. Why Turing's Thesis is Not a Thesis, Robert Soare.-
4. Incomputability, Emergent, and Higher Type Computation, S. Barry Cooper.

Author: Giovanni Sommaruga
ISBN-10: 3319221558
ISBN-13: 9783319221557
Publisher: Birkhauser
Language: English
Published: 01/29/2016
Pages: 331
Format: Hardcover
Weight: 1.48lbs
Size: 9.21h x 6.14w x 0.81d