Physical computation: How general are gandy's principles for mechanisms?

Minds and Machines

Volumn 17, Issue 2, 2007, Pages 217-231

  Copeland, B Jack ^a   Shagrir, Oron ^b  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

^b HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Accelerating turing machine; Asynchronous computation; Church's thesis; Davies; Determinism; Gandy; Hogarth; Hypercomputation; Physical computation; Pitowsky; Supertask; Thesis M

Indexed keywords

COMPUTATIONAL METHODS; DIGITAL COMPUTERS; FUNCTION EVALUATION; TURING MACHINES;

ACCELERATING TURING MACHINE; ASYNCHRONOUS COMPUTATION; CHURCH'S THESIS; HYPERCOMPUTATION; PHYSICAL COMPUTATION;

COMPUTATION THEORY;

EID: 34547841325     PISSN: 09246495     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11023-007-9058-2     Document Type: Article

References (42)

1. Abramson, F.G. (1971). Effective computation over the real numbers. Twelfth annual symposium on switching and automata theory. Northridge, Calif.: Institute of Electrical and Electronics Engineers.
2. Church, A. (1940). On the concept of a random sequence. American Mathematical Society Bulletin, 46, 130-135.
3. Copeland, B. J. (1997). The broad conception of computation. American Behavioral Scientist, 40, 690-716.
4. (1998a). Super Turing-machines. Complexity, 4, 30-32.
5. (1998b). Even Turing machines can compute unconfutable functions. In C. Calude, J. Casti & M. Dinneen (Eds.), Unconventional models of computation. London: Springer-Verlag.
6. (2000). Narrow versus wide mechanism. Journal of Philosophy, 96, 5-32.
7. (2002a). Accelerating Turing machines. Minds and Machines, 12, 281-301.
8. (2002b). Hypercomputation. In B. J. Copeland (Ed.) 2002-3.
9. (Ed.). (2002-3). Hypercomputation. Special issue of Minds and Machines (Vols 12(4), 13(1)).
10. (Ed.). (2004). The essential Turing. Oxford: Oxford University Press.
11. (Ed.). (2005). Alan Turing's Automatic Computing Engine: The master codebreaker's struggle to build the modern computer. Oxford: Oxford University Press.
12. Copeland, B. J., & Proudfoot, D. (1999). Alan Turing's forgotten ideas in computer science. Scientific American, 280, 76-81 (April).
13. Copeland, B. J., & Sylvan, R. (1999). Beyond the universal turing machine. Australasian Journal of Philosophy, 77, 46-66.
14. da Costa, N. C. A., & Doria, F. A. (1991). Classical physics and Penrose's thesis. Foundations of Physics Letters, 4, 363-374.
15. Davies, B. (2001). Building infinite machines. British Journal for the Philosophy of Science, 52, 671-682.
16. Earman, J. (1986). A primer on determinism. Dordrecht: D. Reidel.
17. Barman, J., & Norton, J. D. (1993). Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes. Philosophy of Science, 60, 22-42.
18. Etesi, G., & Németi, I. (2002). Non-Turing computations via Malament-Hogarth space-times. International Journal of Theoretical Physics, 41, 341-370.
19. Gandy, R. (1980). Church's thesis and principles for mechanisms. In J. Barwise, H. J. Keisler & K. Kunen (Eds.), The Kleene symposium. Amsterdam: North-Holland.
20. Hagar, A., & Korolev, A. (2006). Quantum hypercomputability? Minds and Machines, 16, 87-93.
21. (2007). Quantum hypercomputation: Hype or computation? Philosophy of Science (forthcoming).
22. Hogarth, M. L. (1992). Does general relativity allow an observer to view an eternity in a finite time? Foundations of Physics Letters, 5, 173-181.
23. (1994). Non-Turing computers and non-Turing computability. PSA, 1, 126-138.
24. (2004). Deciding arithmetic using SAD computers. British Journal for the Philosophy of Science, 55, 681-691.
25. Israel, D. (2002). Reflections on Gödel's and Gandy's reflections on Turing's thesis. Minds and Machines, 12, 181-201.
26. Kieu, T. D. (2002). Quantum hypercomputation. Minds and Machines, 12, 541-561.
27. Kreisel, G. (1974). A notion of mechanistic theory. Synthese, 29, 11-26.
28. (1982). Review of Pour-El and Richards. Journal of Symbolic Logic, 47, 900-902.
29. Penrose, R. (1994). Shadows of the mind: A search for the missing science of consciousness. Oxford: Oxford University Press.
30. Pitowsky, I. (1990). The physical. Church, thesis and physical computational complexity, Iyyun, 39, 81-99.
31. Pour-El, M. B., & Richards, J. I. (1979). A computable ordinary differential equation which possesses no computable solution. Annals of Mathematical Logic, 17, 61-90.
32. (1989). Computability in analysis and physics. Berlin: Springer.
33. Russell, B. A. W. (1936). The limits of empiricism. Proceedings of the Aristotelian Society, 36, 131-50.
34. Shagrir, O. (2002). Effective computation by humans and machines. Minds and Machines, 12, 221-240.
35. Shagrir, O., & Pitowsky, I. (2003). Physical hypercomputation and the Church-Turing thesis. Minds and Machines, 13, 87-101.
36. Sieg, W. (2002). Calculations by man & machine: Mathematical, presentation. Proceedings of the Cracow international congress of logic, methodology and philosophy of science. Synthese Series, Kluwer Academic Publishers.
37. Sieg, W., & Byrnes, J. (1999). An abstract model for parallel computations: Gandy's thesis. Monist, 82, 150-164.
38. Siegelmann, H. T., & Sontag, E. D. (1994). Analog computation via neural networks. Theoretical Computer Science, 131, 331-360.
39. Turing, A. M. (1936). On computable numbers, with, an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society (Series 2, Vol. 42, pp. 230-265). In Copeland B. J. (Ed.). The essential Turing, 2004).
40. (1945). Proposed electronic calculator. In Copeland B. J. (Ed.) Alan Turing's Automatic Computing Engine, 2005.
41. (1948). Intelligent machinery. In The essential Turing.
42. Welch P. D. The extent of computation in Malament-Hogarth spacetimes (forthcoming).