Turing’s Revolution

Edited by Giovanni Sommaruga and Thomas Strahm

in Springer Books from Springer

Date: 2015
ISBN: 978-3-319-22156-4
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Chapters in this book:

Correction to: The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?

B. Jack Copeland and Giovanni Sommaruga

Conceptual Confluence in 1936: Post and Turing

Martin Davis and Wilfried Sieg

Algorithms: From Al-Khwarizmi to Turing and Beyond

Wolfgang Thomas

The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?

B. Jack Copeland and Giovanni Sommaruga

Theses for Computation and Recursion on Concrete and Abstract Structures

Solomon Feferman

Generalizing Computability Theory to Abstract Algebras

J. V. Tucker and J. I. Zucker

Discrete Transfinite Computation

P. D. Welch

Semantics-to-Syntax Analyses of Algorithms

Yuri Gurevich

The Information Content of Typical Reals

George Barmpalias and Andy Lewis-Pye

Proof Theoretic Analysis by Iterated Reflection

L. D. Beklemishev

Alan Turing and the Foundation of Computer Science

Juraj Hromkovič

Proving Things About the Informal

Stewart Shapiro

Why Turing’s Thesis Is Not a Thesis

Robert Irving Soare

Incomputability Emergent, and Higher Type Computation

S. Barry Cooper

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprbok:978-3-319-22156-4

Ordering information: This item can be ordered from
http://www.springer.com/9783319221564

DOI: 10.1007/978-3-319-22156-4

Access Statistics for this book

More books in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().