國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Philosophical explorations of the le...

Bokulich, Alisa.

Philosophical explorations of the legacy of Alan TuringTuring 100 /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Philosophical explorations of the legacy of Alan Turingedited by Juliet Floyd, Alisa Bokulich.
其他題名:	Turing 100 /
其他題名:	Turing 100
其他作者:	Floyd, Juliet.
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xvii, 361 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	MathematicsPhilosophy.
電子資源:	http://dx.doi.org/10.1007/978-3-319-53280-6
ISBN:	9783319532806$q(electronic bk.)

Philosophical explorations of the legacy of Alan TuringTuring 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$q(electronic bk.)

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

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

187658
Mathematics
--Philosophy.

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

Dewey Class. No.: 510.92

Philosophical explorations of the legacy of Alan TuringTuring 100 /
LDR:03840nmm a2200337 a 4500 001 515499
003 DE-He213
005 20170530112254.0
006 m d
007 cr nn 008maaau
008 180126s2017 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 : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
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 319792
650 0 $a Mathematics $x Philosophy. $3 187658
650 0 $a Computable functions. $3 190932
650 0 $a Cryptography. $3 189522
650 0 $a Enigma cipher system. $3 667081
650 1 4 $a Philosophy. $3 176573
650 2 4 $a Philosophy of Science. $3 277156
650 2 4 $a History of Science. $3 212526
650 2 4 $a History of Mathematical Sciences. $3 511733
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 252959
650 2 4 $a History of Computing. $3 276407
700 1 $a Floyd, Juliet. $3 785984
700 1 $a Bokulich, Alisa. $3 510815
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Boston studies in the philosophy and history of science ; $v v.295. $3 569079
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-53280-6
950 $a Religion and Philosophy (Springer-41175)