The Church-Turing thesis as a guiding principle for physics

TL;DR

This paper explores the implications of the Church-Turing thesis for physics, examining arguments related to motion, time cycles, and reversible computation in physical systems.

Contribution

It introduces a novel analysis of the physical implications of the Church-Turing thesis, focusing on motion, time cycles, and reversible computation in physics.

Findings

Zeno's paradoxes are revisited in the context of computational time cycles.

Reversible computation is linked to measurement processes in physical systems.

The paper discusses the constraints of bijective evolution in physical computation.

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.