Turing's revolution : the impact of his ideas about computability /: the impact of his ideas about computability. (2016)

• Record Type: Book
• 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.