Abstract
The Galileo thesis is a consequence of the physical Church thesis.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Barrow JD (1992) Perché il mondo è matematico? Laterza
Beggs EJ, Tucker JV (2004) Computation via experiments with kinematic systems. Research Report 4.04. Department of Mathematics, University of Wales Swansea
Beggs EJ, Tucker JV (2007) Can Newtonian systems, bounded in space, time, mass and energy compute all functions? Theor Comput Sci 371:4–19
Beggs EJ, Tucker JV (2007) Experimental computation of real numbers by Newtonian machines. Proc R Soc 462(2082):1541–1561
Bournez O, Campagnolo ML (2008) A survey on continuous time computations. In: Cooper SB, Löwe B, Sorbi A (eds) New computational paradigms. Changing conceptions of what is computable. Springer, New York, pp 383–423
Collins P, Graça DS (2008) Effective computability of solutions of ordinary differential equations—the thousand monkeys approach. In: Brattka V, Dillhage R, Grubba T, Klutsch A (eds) 5th International conference on computability and complexity in analysis, electronic notes theoretical computer science, vol 221. Elsevier, pp 103–114
Collins P, Graça DS (2009) Effective computability of solutions of differential inclusions—the ten thousand monkeys approach. J Univers Comput Sci 15(6):1162–1185
Copeland BJ, Shagrir O (2007) Physical computation: How general are Gandy’s principles for mechanisms? Mind Mach 17:217–231
Deutsch D (1985) Quantum theory, the Church–Turing principle and the universal quantum computer. Proc R Soc Lond A Math Phys Sci 400(1818):97–117
Deutsch D (1998) The fabric of reality. Penguin Books, London
Dowek G (2007) Les métamorphoses du calcul. Le Pommier, Paris
Einstein A (1936) Physics and reality. J Frankl Inst 221(3):349–382
Etesi G, Németi I (2002) Non-Turing computations via Malament–Hogarth space-times. Int J Theor Phys 41(2):341–369
Galileo G (1623) Il saggiatore
Gandy R (1980) Church’s thesis and principles for mechanism. In: Barwise J, Keisler HJ (eds) Kleene symposium. North-Holland, Amsterdam, pp 123–148
Hogarth M (2004) Deciding arithmetic using SAD computers. Br J Philos Sci 55:681–691
Kieu TD (2003) Quantum algorithm for Hilbert’s tenth problem. Int J Theor Phys 42:1451–1468
Pour-El MB, Richards JI (1989) Computability in analysis and physics. Springer, Berlin
Wigner E (1960) The unreasonable effectiveness of mathematics in the natural sciences. Commun Pure Appl Math 13(1)
Ziegler M (2009) Physically-relativized Church–Turing hypotheses: physical foundations of computing and complexity theory of computational physics. Appl Math Comput 215(4):1431–1447
Acknowledgments
To Pablo Arrighi, Olivier Bournez, José Félix Costa, Nachum Dershowitz, Jean-Baptiste Joinet, Giuseppe Longo and Thierry Paul.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dowek, G. The physical Church thesis as an explanation of the Galileo thesis. Nat Comput 11, 247–251 (2012). https://doi.org/10.1007/s11047-011-9301-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-011-9301-x