東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Philosophical explorations of the le...

Floyd, Juliet.

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Philosophical explorations of the legacy of Alan Turing/ edited by Juliet Floyd, Alisa Bokulich.
其他題名:	Turing 100 /
其他題名:	Turing 100
其他作者:	Floyd, Juliet.
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xvii, 361 p. :ill., digital ;24 cm.
內容註:	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)
Contained By:	Springer eBooks
標題:	Mathematics - Philosophy. -
電子資源:	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.324..

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:

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

523930
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:03840nmm a2200337 a 4500 001 2100774
003 DE-He213
005 20170530112254.0
006 m d
007 cr nn 008maaau
008 180119s2017 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 607020
650 0 $a Mathematics $x Philosophy. $3 523930
650 0 $a Computable functions. $3 559829
650 0 $a Cryptography. $3 532586
650 0 $a Enigma cipher system. $3 2036400
650 1 4 $a Philosophy. $3 516511
650 2 4 $a Philosophy of Science. $3 894954
650 2 4 $a History of Science. $3 896972
650 2 4 $a History of Mathematical Sciences. $3 1530523
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Artificial Intelligence (incl. Robotics) $3 890894
650 2 4 $a History of Computing. $3 895944
700 1 $a Floyd, Juliet. $3 3242738
700 1 $a Bokulich, Alisa. $3 1532354
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Boston studies in the philosophy and history of science ; $v v.324. $3 3242739
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-53280-6
950 $a Religion and Philosophy (Springer-41175)