Summary
Following the development of quantum computers, a question has arisen regarding the relation between the basis of the classical theory of computation and the quantum theory. Here I argue against Deutsch’s claim that a physical principle, the Turing principle, underlies the famous Church-Turing hypothesis. I also discuss the computational analogy and emphasize a certain line of argument suggesting it may be misplaced. Finally, I assess Deutsch’s claims for the dependence of mathematics upon empirical science, claims that arise as a consequence of his conception of computation and his adherence to the computational analogy.
Thanks are due to Harvey Brown and David Corfield for useful discussion. This work was supported by a studentship from the UK Arts and Humanities Research Board.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. L. Austin. Sense and Sensibilia. Oxford University Press, 1962.
G. Boolos and R. Jeffrey. Computability and Logic. Cambridge University Press, 1974.
A. Church. An unsolvable problem of elementary number theory. American Journal of Mathematics., 58:345–365, 1936. Repr. in [5] pp. 89–107.
B. J. Copeland. Narrow versus wide mechanism: Including a re-examination of Turing’s views on the mind-machine issue. The Journal of Philosophy, XCVI(l), 2000.
M. Davis, editor. The Undecidable. Raven Press, Hewlett, New York, 1965.
M. Davis. Why Gödel didn’t have Church’s thesis. Information and Control, 54:3–24, 1982.
D. Deutsch. Quantum theory, the Church-Turing Principle and the universal quantum computer. Proceedings of the Royal Society of London A, 400:97–117, 1985.
D. Deutsch. The Fabric of Reality. Penguin Books, 1997.
D. Deutsch, A. Ekert, and R. Lupacchini. Machines, logic and quantum physics. See arXiv:math.HO/9911150, 1999.
J. Earman and J. Norton. Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes. Philosophy of Science, 60:22–42, 1993.
A. Ekert and R. Jozsa. Quantum computation and Shor’s factoring algorithm. Reviews of Modern Physics, 68(3):733–753, 1996.
R. P. Feynman. Simulating physics with computers. International Journal of Theoretical Physics, 21(6/7), 1982.
L. Grover. A fast quantum-mechanical algorithm for database search. In Proceedings of the 28th Annual ACM Symposium on the Theory of Computing, pp. 212–219, 1996.
P. M. S. Hacker. Wittgenstein: Meaning and Mind, Part 1. Blackwell, Oxford, 1993.
M. Hogarth. Non-Turing computers and non-Turing computability. Philosophy of Science Supplementary, I:126–138, 1994.
J. Hyman. Investigating Psychology: Sciences of the Mind after Wittgenstein, pages 1–24. Routledge, 1991.
M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information. Cambridge University Press, 2000.
B. Schumacher. Quantum coding. Physical Review A, 51(4):2738, 1995.
S. G. Shanker. Wittgenstein versus Turing on the nature of Church’s thesis. Notre Dame Journal of Formal Logic, 28(4):615–49, October 1987. See also Shanker, S. G. Wittgenstein’s Remarks on the Foundations of AI, Chap. 1, Routledge, 1998.
P. W. Shor. Algorithms for quantum computation: Discrete logarithms and factoring. In Proceedings of the 35 th Annual IEEE Symposium on Foundations of Computer Science, 1994. See also arXiv:quant-ph/9508027.
R. I. Soare. Computability and recursion. The Bulletin of Symbolic Logic, 2(3), 1996.
A. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42:230–65, 1936. Repr. in [5] pp. 116–151.
A. White. Certainty. Proceedings of the Aristotelian Society Supplementary, 46:1–18, 1972.
L. Wittgenstein. The Blue and Brown Books. Blackwell, Oxford, 1960.
L. Wittgenstein. Philosophical Investigations. Blackwell, Oxford, third edition, 1967.
L. Wittgenstein. Remarks on the Foundations of Mathematics. Blackwell, Oxford, 1978. Eds., von Wright, G. H., Rhees, R. and Anscombe, G. E. M.
L. Wittgenstein. Remarks on the Philosophy of Psychology, volume 1. Black-well, Oxford, 1980. Eds., Anscombe, G. E. M. and von Wright, G. H.
A. C. Yao. Quantum circuit complexity. In Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science, 1993.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Timpson, C.G. (2004). Quantum Computers: the Church-Turing Hypothesis Versus the Turing Principle. In: Teuscher, C. (eds) Alan Turing: Life and Legacy of a Great Thinker. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05642-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-662-05642-4_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05744-1
Online ISBN: 978-3-662-05642-4
eBook Packages: Springer Book Archive