A Note on the Physical Possibility of Transfinite Computation.

Autor: Aitken, Wayne, Barrett, Jeffrey A.
Předmět:
Zdroj: British Journal for the Philosophy of Science; Dec2010, Vol. 61 Issue 4, p867-874, 8p, 1 Diagram
Abstrakt: In this note, we consider constraints on the physical possibility of transfinite Turing machines that arise from how one models the continuous structure of space and time in one's best physical theories. We conclude by suggesting a version of Church's thesis appropriate as an upper bound for physical computation given how space and time are modeled on our current physical theories. [ABSTRACT FROM PUBLISHER]
Databáze: Complementary Index