Philosophical Explorations of the Legacy of Alan Turing

1. Introduction
Juliet Floyd

Part I. Logic and Mathematics to Philosophy

2. Turing, the Mathematician
Daniele Mundici, Wilfried Sieg

3. Turing, Gödel and the “Bright Abyss”
Juliette Kennedy

4. Justified True Belief: Plato, Gettier, and Turing
Rohit Parikh, Adriana Renero

5. Turing on “Common Sense”: Cambridge Resonances
Juliet Floyd

Part II. The Universal Machine: From Music to Morphogenesis

6. Universality Is Ubiquitous
Martin Davis

7. The Early History of Voice Encryption
Craig Bauer

8. Turing and the History of Computer Music
B. Jack Copeland, Jason Long

9. Exploring the Frontiers of Computation: Measurement Based Quantum Computers and the Mechanistic View of Computation
Armond Duwell

10. Embodying Computation at Higher Types
S. Barry Cooper

Part III. Human, Machine, and Mind

11. On Computing Machinery and Intelligence
Patrick Henry Winston

12. From Ockham to Turing – and Back Again
Michael Rescorla

13. Turing and Free Will: A New Take on an Old Debate
Diane Proudfoot

14. Turing on the Integration of Human and Machine Intelligence
Susan G. Sterrett

15. Is There a Church-Turing Thesis for Social Algorithms?
Rohit Parikh

Keywords: Philosophy, Philosophy of Science, History of Science, History of Mathematical Sciences, Theory of Computation, Artificial Intelligence (incl. Robotics), History of Computing