Skip to main content
SpringerLink
Log in

The physical Church thesis as an explanation of the Galileo thesis

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

The Galileo thesis is a consequence of the physical Church thesis.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

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

    Article  MathSciNet  MATH  Google Scholar 

  • Beggs EJ, Tucker JV (2007) Experimental computation of real numbers by Newtonian machines. Proc R Soc 462(2082):1541–1561

    MathSciNet  Google Scholar 

  • 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

    Google Scholar 

  • 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

    MATH  Google Scholar 

  • Copeland BJ, Shagrir O (2007) Physical computation: How general are Gandy’s principles for mechanisms? Mind Mach 17:217–231

    Article  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • Deutsch D (1998) The fabric of reality. Penguin Books, London

    Google Scholar 

  • Dowek G (2007) Les métamorphoses du calcul. Le Pommier, Paris

    MATH  Google Scholar 

  • Einstein A (1936) Physics and reality. J Frankl Inst 221(3):349–382

    Article  Google Scholar 

  • Etesi G, Németi I (2002) Non-Turing computations via Malament–Hogarth space-times. Int J Theor Phys 41(2):341–369

    Article  MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

  • Kieu TD (2003) Quantum algorithm for Hilbert’s tenth problem. Int J Theor Phys 42:1451–1468

    Article  MathSciNet  Google Scholar 

  • Pour-El MB, Richards JI (1989) Computability in analysis and physics. Springer, Berlin

    MATH  Google Scholar 

  • 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

    Article  MathSciNet  MATH  Google Scholar 

Download references

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

  1. INRIA, 23 Avenue d’Italie, CS 81321, 75214, Paris Cedex 13, France

    Gilles Dowek

Authors
  1. Gilles Dowek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gilles Dowek.

Rights and permissions

Reprints 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

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-011-9301-x

Keywords

Search

Navigation