Abstract
The intention of this talk is to look at various models of transfinite computation and give some calculations as to their comparative power. To clarify the kind of models that we are looking at, they will all be discrete acting: this will mean that they essentially perform simple discrete tasks in simple steps or stages. The reader should have in mind the paradigm of the standard Turing Machine which of course performs such simple actions as moving one cell left or right on the tape that it is reading, altering a symbol, changing a state etc etc. We are thus not considering any kind of machine or notional device that computes in an analogue fashion, nor any machine, such as neural network with nodes primed by infinitely precise real numbers, nor computations performed in chemistry beakers, across cell membranes, or in buckets of slime.
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
Earman, J., Norton, J.D.: Forever is a day: Supertasks in Pitowsky and Malament-Hogarth spacetimes. Philosophy of Science 60, 22–42 (1993)
Etesi, G., Németi, I.: Non-Turing computations via Malament-Hogarth space-times. International Journal of Theoretical Physics 41(2), 341–370 (2002)
Gold, E.: Limiting recursion. Journal of Symbolic Logic 30(1), 28–48 (1965)
Hamkins, J. D., Lewis, A.: Post’s problem for supertasks has both positive and negative solutions. Archive for Mathematical Logic
Hamkins, J.D., Lewis, A.: Infinite time Turing machines. Journal of Symbolic Logic 65(2), 567–604 (2000)
Harrington, L.: Analytic determinacy and 0#. JSL 43(4), 684–693 (1978)
Hawking, S.W., Ellis, G.F.R.: The large scale structure of space-time. Cambridge University Press, Cambridge (1973)
Hogarth, M.: Does general relativity allow an observer to view an eternity in a finite time? Foundations of Physics Letters 5(2), 173–181 (1992)
Hogarth, M.: Non-Turing computers and non-Turing computability. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1, 126–138 (1994)
Hogarth, M.: Deciding arithmetic using SAD computers. British Journal for the Philosophy of Science 55, 681–691 (2004)
Hrbacek, K., Simpson, S.: On Kleene degrees of analytic sets. In: Keisler, H.J., Barwise, J., Kunen, K. (eds.) Proceedings of the Kleene Symposium, Studies in Logic, pp. 347–352. North-Holland, Amsterdam (1980)
Koepke, P.: Turing computation on ordinals. Bulletin of Symbolic Logic 11, 377–397 (2005)
Koepke, P., Koerwien, M.: Ordinal computations. Mathematical Structures in Computer Science 16(5), 867–884 (2006)
Koepke, P., Siders, R.: Computing the recursive truth predicate on ordinal register machines. In: Beckmann, A., et al. (ed.) Logical Approaches to Computational Barriers, Computer Science Report Series, p. 21. Swansea (2006)
Pitowsky, I.: The physical Church-Turing thesis and physical computational complexity. Iyyun 39, 81–99 (1990)
Putnam, H.: Trial and error predicates and the solution to a problem of Mostowski. Journal of Symbolic Logic 30, 49–57 (1965)
Rogers, H.: Recursive Function Theory. Higher Mathematics. McGraw (1967)
Sacks, G.E.: Higher Recursion Theory. In: Perspectives in Mathematical Logic, Springer, Heidelberg (1990)
Sacks, G.E., Simpson, S.: The α-finite injury method. Annals of Mathematical Logic 4, 343–367 (1972)
Solovay, R.M.: Determinacy and type 2 recursion. Journal of Symbolic Logic 36, 374 (1971)
Steel, J.R.: Analytic sets and Borel isomorphisms. Fundamenta Mathematicae 108, 83–88 (1980)
Welch, P.D.: The length of infinite time Turing machine computations. Bulletin of the London Mathematical Society 32, 129–136 (2000)
Welch, P.D.: Post’s and other problems in higher type supertasks. In: Löwe, B., Piwinger, B., Räsch, T. (eds.) Classical and New Paradigms of Computation and their Complexity hierarchies, Papers of the Conference Foundations of the Formal Sciences III, Trends in logic, October, vol. 23, pp. 223–237. Kluwer, Dordrecht (2004)
Welch, P.D.: Turing Unbound: The extent of computations in Malament-Hogarth spacetimes. British Journal for Philosophy of Science (submitted)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Welch, P.D. (2007). Turing Unbound: Transfinite Computation. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_82
Download citation
DOI: https://doi.org/10.1007/978-3-540-73001-9_82
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73000-2
Online ISBN: 978-3-540-73001-9
eBook Packages: Computer ScienceComputer Science (R0)