A Note on the Physical Possibility of Transfinite Computation.
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 physica...
| Publicado en: | British Journal for the Philosophy of Science Vol. 61; no. 4; pp. 867 - 875 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
University of Chicago Press
Dec2010
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|