國立虎尾科技大學 |

Turing’s Revolution = The Impact of His Ideas about Computability /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Turing’s Revolution/ edited by Giovanni Sommaruga, Thomas Strahm.
其他題名:	The Impact of His Ideas about Computability /
其他作者:	Sommaruga, Giovanni.
面頁冊數:	XXIV, 329 p. 18 illus., 1 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-319-22156-4
ISBN:	9783319221564

Turing’s Revolution = The Impact of His Ideas about Computability /
Turing’s RevolutionThe Impact of His Ideas about Computability /[electronic resource] :edited by Giovanni Sommaruga, Thomas Strahm. - 1st ed. 2015. - XXIV, 329 p. 18 illus., 1 illus. in color.online resource.

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.

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.

ISBN: 9783319221564

Standard No.: 10.1007/978-3-319-22156-4doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Turing’s Revolution = The Impact of His Ideas about Computability /
LDR:03229nam a22004095i 4500 001 966600
003 DE-He213
005 20200703180121.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783319221564 $9 978-3-319-22156-4
024 7 $a 10.1007/978-3-319-22156-4 $2 doi
035 $a 978-3-319-22156-4
050 4 $a QA8.9-10.3
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBC $2 thema
072 7 $a PBCD $2 thema
082 0 4 $a 511.3 $2 23
245 1 0 $a Turing’s Revolution $h [electronic resource] : $b The Impact of His Ideas about Computability / $c edited by Giovanni Sommaruga, Thomas Strahm.
250 $a 1st ed. 2015.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Birkhäuser, $c 2015.
300 $a XXIV, 329 p. 18 illus., 1 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 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.
520 $a 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Mathematics. $3 527692
650 0 $a History. $3 669538
650 0 $a Logic. $3 558909
650 1 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a History of Mathematical Sciences. $3 785417
700 1 $a Sommaruga, Giovanni. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 785425
700 1 $a Strahm, Thomas. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1070658
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319221557
776 0 8 $i Printed edition: $z 9783319221571
776 0 8 $i Printed edition: $z 9783319793801
856 4 0 $u https://doi.org/10.1007/978-3-319-22156-4
912 $a ZDB-2-SMA
912 $a ZDB-2-SXMS
950 $a Mathematics and Statistics (SpringerNature-11649)
950 $a Mathematics and Statistics (R0) (SpringerNature-43713)