Turing's revolution : the impact of his ideas about computability /: the impact of his ideas about computability. (2016)
- Record Type:
- Book
- Title:
- Turing's revolution : the impact of his ideas about computability /: the impact of his ideas about computability. (2016)
- Main Title:
- Turing's revolution : the impact of his ideas about computability
- Further Information:
- Note: Giovanni Sommaruga, Thomas Strahm, editors.
- Editors:
- Sommaruga, Giovanni
Strahm, Thomas (Thomas Adrian) - Contents:
- 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.
- Publisher Details:
- Cham : Birkhäuser
- Publication Date:
- 2016
- Extent:
- 1 online resource (xxiv, 329 pages), illustrations (some color)
- Subjects:
- 004.01/51
Mathematics
Computer science -- Mathematics
Computable functions
Logic, Symbolic and mathematical
Logic
COMPUTERS -- Computer Literacy
COMPUTERS -- Computer Science
COMPUTERS -- Data Processing
COMPUTERS -- Hardware -- General
COMPUTERS -- Information Technology
COMPUTERS -- Machine Theory
COMPUTERS -- Reference
Computable functions
Computer science -- Mathematics
Mathematics -- History & Philosophy
Philosophy -- Logic
History of mathematics
Philosophy: logic
Mathematics -- Logic
Mathematical foundations
Electronic books - Languages:
- English
- ISBNs:
- 9783319221564
3319221566 - Related ISBNs:
- 9783319221557
3319221558 - Notes:
- Note: Includes bibliographical references.
Note: Online resource; title from PDF title page (SpringerLink, viewed January 27, 2016). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.354862
- Ingest File:
- 02_338.xml