PhysicallyRelativized ChurchTuring Hypotheses
Abstract
We turn `the' ChurchTuring Hypothesis from an ambiguous source of sensational speculations into a (collection of) sound and welldefined scientific problem(s): Examining recent controversies, and causes for misunderstanding, concerning the state of the ChurchTuring Hypothesis (CTH), suggests to study the CTH relative to an arbitrary but specific physical theoryrather than vaguely referring to ``nature'' in general. To this end we combine (and compare) physical structuralism with (models of computation in) complexity theory. The benefit of this formal framework is illustrated by reporting on some previous, and giving one new, example result(s) of computability and complexity in computational physics.
 Publication:

arXiv eprints
 Pub Date:
 May 2008
 arXiv:
 arXiv:0805.1292
 Bibcode:
 2008arXiv0805.1292Z
 Keywords:

 Physics  Computational Physics;
 Computer Science  Computational Complexity
 EPrint:
 interdisciplinary paper: philosophy of physics, computational physics, computational complexity and computability