Title:The Computational Status of Physics: A Computable Formulation of Quantum Theory

Abstract: According to the Church-Turing Thesis, effective formal behaviours can be simulated by Turing machines; this has naturally led to speculation that physical systems can also be simulated computationally. But is this wider claim true, or do behaviours exist which are strictly hypercomputational? Several idealised computational models are known which suggest the feasibility of physical hypercomputation -- some based on cosmology; some on quantum theory; some on Newtonian physics. While the physicality of these models is debatable, they nonetheless throw into question the validity of simply extending the Church-Turing Thesis to include all physical, as well as effective formal, systems. We propose that the physicality of hypercomputational behaviours be determined instead from first principles, and show that quantum theory can be reformulated in a way that partially resolves the question, by explaining why all physical behaviours can be regarded as 'computing something' in the standard computational state-machine sense. While our approach does not rule out the possibility of hypercomputation completely, it strongly limits the form such hypercomputation must take.