The physical Church thesis as an explanation of the Galileo thesis

DOI10.1007/s11047-011-9301-xzbMath1339.03007OpenAlexW2024280516MaRDI QIDQ2629933

Gilles Dowek

Publication date: 8 July 2016

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11047-011-9301-x

zbMATH Keywords

definabilitycomputabilitynatural sciences

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

The physical Church–Turing thesis and non-deterministic computation over the real numbers, Unnamed Item, A Survey on Analog Models of Computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Can Newtonian systems, bounded in space, time, mass and energy compute all functions?
• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• Quantum algorithm for Hilbert's tenth problem
• The unreasonable effectiveness of mathematics in the natural sciences. Richard courant lecture in mathematical sciences delivered at New York University, May 11, 1959
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Deciding Arithmetic Using SAD Computers
• Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
• Experimental computation of real numbers by Newtonian machines
• Non-Turing computations via Malament--Hogarth space-times