Physical hypercomputation and the Church-Turing thesis

Oron Shagrir*, Itamar Pitowsky

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

52 Scopus citations

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.

Original languageAmerican English
Pages (from-to)87-101
Number of pages15
JournalMinds and Machines
Volume13
Issue number1
DOIs
StatePublished - Feb 2003

Bibliographical note

Funding Information:
21The paper was read before the logic group at the Hebrew University, Jerusalem, and at the workshop on Hypercomputation at University College, London. We thank the participants for stimulating discussion. We are grateful to Carl Posy for his assistance in formulating answers to the objections, and to Jack Copeland for helping to clarify various issues. This research was supported by the Israel Science Foundation.

Keywords

  • Church-Turing thesis
  • Effective computation
  • Gandy's thesis
  • Physical hypercomputation
  • Supertasks

Fingerprint

Dive into the research topics of 'Physical hypercomputation and the Church-Turing thesis'. Together they form a unique fingerprint.

Cite this