Physical Hypercomputation and the Church–Turing Thesis (2003)
by
Oron Shagrir, et al.
| Citations: | 11 - 0 self |
BibTeX
@MISC{Shagrir03physicalhypercomputation,
author = {Oron Shagrir and et al.},
title = {Physical Hypercomputation and the Church–Turing Thesis },
year = {2003}
}
OpenURL
Abstract
We describe a possible physical device that computes a function that cannot be computed by a Turing machine. The device is physical in the sense that it is compatible with General Relativity. We discuss some objections, focusing on those which deny that the device is either a computer or computes a function that is not Turing computable. Finally, we argue that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy’s thesis.







