A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer.
There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable (even in principle) can exceed the computational barriers of a Turing machi...
| Published in: | Synthese Vol. 192; no. 7; pp. 1989 - 2009 |
|---|---|
| Main Author: | |
| Format: | Article |
| Published: |
Springer Nature
Jul2015
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=109574764&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 109574764 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Jul2015 vid: 192 iid: 7 pid: 237 pub: Springer Nature artinfo: ui: 109574764 10.1007/s11229-014-0502-6 ppf: 1989 ppct: 20 formats: fmt: @attributes: type: P size: 785KB tig: atl: A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer. aug: au: Wüthrich, Christian affil: Department of Philosophy, University of California, San Diego, La Jolla USA su: Turing machines Relativistic mechanics Quantum gravity Set theory Logical prediction sug: subj: Turing machines Relativistic mechanics Quantum gravity Set theory Logical prediction keyword: Hypercomputation Malament-Hogarth spacetimes Relativistic computers Timelike entanglement ab: There exists a growing literature on the so-called physical Church-Turing thesis in a relativistic spacetime setting. The physical Church-Turing thesis is the conjecture that no computing device that is physically realizable (even in principle) can exceed the computational barriers of a Turing machine. By suggesting a concrete implementation of a beyond-Turing computer in a spacetime setting, Németi and Dávid (Appl Math Comput 178:118-142, ) have shown how an appreciation of the physical Church-Turing thesis necessitates the confluence of mathematical, computational, physical, and indeed cosmological ideas. In this essay, I will honour István's seventieth birthday, as well as his longstanding interest in, and his seminal contributions to, this field going back to as early as 1987 by modestly proposing how the concrete implementation in Németi and Dávid (Appl Math Comput 178:118-142, ) might be complemented by a quantum-information-theoretic communication protocol between the computing device and the logician who sets the beyond-Turing computer a task such as determining the consistency of Zermelo-Fraenkel set theory. This suggests that even the foundations of quantum theory and, ultimately, quantum gravity may play an important role in determining the validity of the physical Church-Turing thesis. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2015. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2015 holdings: @attributes: islocal: N |
|---|