Cantitate/Preț
Produs
Total produse
Vezi coșul
Turing’s Revolution: The Impact of His Ideas about Computability de Giovanni Sommaruga

Turing’s Revolution: The Impact of His Ideas about Computability

Editat de Giovanni Sommaruga, Thomas Strahm
en Limba Engleză Hardback – 28 ian 2016
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.

The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 72953 lei  43-57 zile
  Springer International Publishing – 29 mar 2018 72953 lei  43-57 zile
Hardback (1) 73553 lei  43-57 zile
  Springer International Publishing – 28 ian 2016 73553 lei  43-57 zile

Preț: 73553 lei

Preț vechi: 89698 lei
-18% Nou

Puncte Express: 1103
Preț estimativ în valută:
14076€ • 14606$ • 11765£

Carte tipărită la comandă

Livrare economică 17-31 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319221557
ISBN-10: 3319221558
Pagini: 370
Ilustrații: XXIV, 331 p. 18 illus., 1 illus. in color.
Dimensiuni: 155 x 235 x 21 mm
Greutate: 0.67 kg
Ediția:1st ed. 2015
Editura: Springer International Publishing
Colecția Birkhäuser
Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

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.

Recenzii

“There is a wide variety of content … in this collection about Turing’s ideas and what they meant for mathematics and computer science. … People of all mathematical and computer science backgrounds will find something of interest in this collection. Educators that would like to go deeper into the meaning of computability and algorithms can find material that will set the stage for discussions and research papers on the meaning and impact of the life and work of Alan Turing.” (Charles Ashbacher, MAA Reviews, maa.org, February, 2016)

Notă biografică

Giovanni Sommaruga is Professor for philosopy of logic and mathematics at ETH Zurich, Switzerland. Thomas Strahm is Professor for mathematical logic and theoretical computer science at the University of Berne, Switzerland.

Textul de pe ultima copertă

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.

The Stored-Program Universal Computer: Did Zuse Anticipate Turing and von Neumann?” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com

Caracteristici

The book is focussing on logic and theoretical computer science
Excellent balance of historical, technical and philosophical papers
A unique mix of grand old authorities and young high level specialists?