The Church-Turing thesis as a guiding principle for physics

Abstract

Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of one-to-one computation, that is, the bijective (unique and reversible) evolution of computations and its relation to the measurement process.

15 pages, latex, no figures

References in corpus (1)

• Consistent use of paradoxes in deriving constraints on the dynamics of physical systems and of no-go-theorems

Cited by in corpus (9)

• Hypercomputation: computing more than the Turing machine
• Quantum Algorithm for Hilbert's Tenth Problem
• Scale-invariant cellular automata and self-similar Petri nets
• Transcending the Limits of Turing Computability
• Zeno Squeezing of Cellular Automata
• NP in BQP with Nonlinearity
• Finite automata models of quantized systems: conceptual status and outlook
• Zeno machines and hypercomputation
• Physics and metaphysics looks at computation