Thomas Strahm: Turing¿s Revolution | Buch

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9783319221557 | Turing's Revolution | The Impact of His Ideas about Computability

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

101,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.[...]

Über den Autor

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.

Zusammenfassung

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?

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2016
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	356
Inhalt:	xxiv 331 S. 17 s/w Illustr. 1 farbige Illustr. 331 p. 18 illus. 1 illus. in color.
ISBN-13:	9783319221557
ISBN-10:	3319221558
Sprache:	Englisch
Ausstattung / Beilage:	HC runder Rücken kaschiert
Einband:	Gebunden
Redaktion:	Strahm, Thomas Sommaruga, Giovanni
Herausgeber:	Giovanni Sommaruga/Thomas Strahm
Auflage:	1st ed. 2015
Hersteller:	Springer International Publishing Springer International Publishing AG
Maße:	241 x 160 x 25 mm
Von/Mit:	Thomas Strahm (u. a.)
Erscheinungsdatum:	29.01.2016
Gewicht:	0,699 kg

preigu-id: 104581432