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, Gödel 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.

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Online access from local network of NaUOA.

Online access with authorization at https://link.springer.com/

Онлайн-доступ з локальної мережі НаУОА.

Онлайн доступ з авторизацією на https://link.springer.com/