國立虎尾科技大學 |

Philosophical explorations of the legacy of Alan Turing = Turing 100 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Philosophical explorations of the legacy of Alan Turing/ edited by Juliet Floyd, Alisa Bokulich.
Reminder of title:	Turing 100 /
remainder title:	Turing 100
other author:	Floyd, Juliet.
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xvii, 361 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Mathematics - Philosophy. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-53280-6
ISBN:	9783319532806

Philosophical explorations of the legacy of Alan Turing = Turing 100 /
Philosophical explorations of the legacy of Alan TuringTuring 100 /[electronic resource] :Turing 100edited by Juliet Floyd, Alisa Bokulich. - Cham :Springer International Publishing :2017. - xvii, 361 p. :ill., digital ;24 cm. - Boston studies in the philosophy and history of science,v.3240068-0346 ;. - Boston studies in the philosophy and history of science ;v.295..

Chapter 1. Introduction (Juliet Floyd) -- Part I. Logic and Mathematics to Philosophy -- Chapter 2. Turing, the Mathematician (Daniele Mundici and Wilfried Sieg) -- Chapter 3. Turing, Godel and the "Bright Abyss" (Juliette Kennedy) -- Chapter 4. Justified True Belief: Plato, Gettier and Turing (Rohit Parikh and Adriana Renero) -- Chapter 5. Turing on "Common Sense": Cambridge Resonances (Juliet Floyd) -- Part II. The Universal Machine: From Music to Morphogenesis -- Chapter 6. Universality is Ubiquitous (Martin Davis) -- Chapter 7. The Early History of Voice Encryption (Craig Bauer) -- Chapter 8. Turing and the History of Computer Music (B. Jack Copeland and Jason Long) -- Chapter 9. Exploring the Frontiers of Computation: Measurement Based Quantum Computers and the Mechanistic View of Computation (Armond Duwell) -- Chapter 10. Embodying Computation at Higher Types (S. Barry Cooper) -- Part III. Human, Machine, and Mind -- Chapter 11. On Computing Machinery and Intelligence (Patrick Henry Winston) -- Chapter 12. From Ockham to Turing --- and Back Again (Michael Rescorla) -- Chapter 13. Turing and Free Will: A New Take on An Old Debate (Diane Proudfoot) -- Chapter 14. Turing and the Integration of Human and Machine Intelligence (Susan G. Sterrett) -- Chapter 15. Is there a Church-Turing thesis for social algorithms? (Rohit Parikh)

This volume presents an historical and philosophical revisiting of the foundational character of Turing's conceptual contributions and assesses the impact of the work of Alan Turing on the history and philosophy of science. Written by experts from a variety of disciplines, the book draws out the continuing significance of Turing's work. The centennial of Turing's birth in 2012 led to the highly celebrated "Alan Turing Year", which stimulated a world-wide cooperative, interdisciplinary revisiting of his life and work. Turing is widely regarded as one of the most important scientists of the twentieth century: He is the father of artificial intelligence, resolver of Hilbert's famous Entscheidungsproblem, and a code breaker who helped solve the Enigma code. His work revolutionized the very architecture of science by way of the results he obtained in logic, probability and recursion theory, morphogenesis, the foundations of cognitive psychology, mathematics, and cryptography. Many of Turing's breakthroughs were stimulated by his deep reflections on fundamental philosophical issues. Hence it is fitting that there be a volume dedicated to the philosophical impact of his work. One important strand of Turing's work is his analysis of the concept of computability, which has unquestionably come to play a central conceptual role in nearly every branch of knowledge and engineering.

ISBN: 9783319532806

Standard No.: 10.1007/978-3-319-53280-6doiSubjects--Personal Names:

592137
Turing, Alan Mathison,
1912-1954.Subjects--Topical Terms:

575254
Mathematics
--Philosophy.

LC Class. No.: QA29.T8 / P45 2017

Dewey Class. No.: 510.92

Philosophical explorations of the legacy of Alan Turing = Turing 100 /
LDR:03840nam a2200337 a 4500 001 885694
003 DE-He213
005 20170530112254.0
006 m d
007 cr nn 008maaau
008 180530s2017 gw s 0 eng d
020 $a 9783319532806 $q (electronic bk.)
020 $a 9783319532783 $q (paper)
024 7 $a 10.1007/978-3-319-53280-6 $2 doi
035 $a 978-3-319-53280-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA29.T8 $b P45 2017
072 7 $a PDA $2 bicssc
072 7 $a SCI075000 $2 bisacsh
082 0 4 $a 510.92 $2 23
090 $a QA29.T8 $b P568 2017
245 0 0 $a Philosophical explorations of the legacy of Alan Turing $h [electronic resource] : $b Turing 100 / $c edited by Juliet Floyd, Alisa Bokulich.
246 3 0 $a Turing 100
260 $a Cham : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
300 $a xvii, 361 p. : $b ill., digital ; $c 24 cm.
490 1 $a Boston studies in the philosophy and history of science, $x 0068-0346 ; $v v.324
505 0 $a Chapter 1. Introduction (Juliet Floyd) -- Part I. Logic and Mathematics to Philosophy -- Chapter 2. Turing, the Mathematician (Daniele Mundici and Wilfried Sieg) -- Chapter 3. Turing, Godel and the "Bright Abyss" (Juliette Kennedy) -- Chapter 4. Justified True Belief: Plato, Gettier and Turing (Rohit Parikh and Adriana Renero) -- Chapter 5. Turing on "Common Sense": Cambridge Resonances (Juliet Floyd) -- Part II. The Universal Machine: From Music to Morphogenesis -- Chapter 6. Universality is Ubiquitous (Martin Davis) -- Chapter 7. The Early History of Voice Encryption (Craig Bauer) -- Chapter 8. Turing and the History of Computer Music (B. Jack Copeland and Jason Long) -- Chapter 9. Exploring the Frontiers of Computation: Measurement Based Quantum Computers and the Mechanistic View of Computation (Armond Duwell) -- Chapter 10. Embodying Computation at Higher Types (S. Barry Cooper) -- Part III. Human, Machine, and Mind -- Chapter 11. On Computing Machinery and Intelligence (Patrick Henry Winston) -- Chapter 12. From Ockham to Turing --- and Back Again (Michael Rescorla) -- Chapter 13. Turing and Free Will: A New Take on An Old Debate (Diane Proudfoot) -- Chapter 14. Turing and the Integration of Human and Machine Intelligence (Susan G. Sterrett) -- Chapter 15. Is there a Church-Turing thesis for social algorithms? (Rohit Parikh)
520 $a This volume presents an historical and philosophical revisiting of the foundational character of Turing's conceptual contributions and assesses the impact of the work of Alan Turing on the history and philosophy of science. Written by experts from a variety of disciplines, the book draws out the continuing significance of Turing's work. The centennial of Turing's birth in 2012 led to the highly celebrated "Alan Turing Year", which stimulated a world-wide cooperative, interdisciplinary revisiting of his life and work. Turing is widely regarded as one of the most important scientists of the twentieth century: He is the father of artificial intelligence, resolver of Hilbert's famous Entscheidungsproblem, and a code breaker who helped solve the Enigma code. His work revolutionized the very architecture of science by way of the results he obtained in logic, probability and recursion theory, morphogenesis, the foundations of cognitive psychology, mathematics, and cryptography. Many of Turing's breakthroughs were stimulated by his deep reflections on fundamental philosophical issues. Hence it is fitting that there be a volume dedicated to the philosophical impact of his work. One important strand of Turing's work is his analysis of the concept of computability, which has unquestionably come to play a central conceptual role in nearly every branch of knowledge and engineering.
600 1 0 $a Turing, Alan Mathison, $d 1912-1954. $3 592137
650 0 $a Mathematics $x Philosophy. $3 575254
650 0 $a Computable functions. $3 677058
650 0 $a Cryptography. $3 567927
650 0 $a Enigma cipher system. $3 985281
650 1 4 $a Philosophy. $3 559771
650 2 4 $a Philosophy of Science. $3 668204
650 2 4 $a History of Science. $3 671541
650 2 4 $a History of Mathematical Sciences. $3 785417
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 593924
650 2 4 $a History of Computing. $3 669953
700 1 $a Floyd, Juliet. $3 1143044
700 1 $a Bokulich, Alisa. $3 784273
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Boston studies in the philosophy and history of science ; $v v.295. $3 884127
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-53280-6
950 $a Religion and Philosophy (Springer-41175)