A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer

DOI10.1007/S11229-014-0502-6zbMATH Open1359.81080arXiv1405.5555OpenAlexW2101558073MaRDI QIDQ514550FDOQ514550

Authors: Christian Wüthrich 

Publication date: 9 March 2017

Published in: Synthese (Search for Journal in Brave)

Abstract: 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, Istv'an N'emeti and Gyula D'avid (2006) 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'an'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'emeti and D'avid (2006) 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.

Full work available at URL: https://arxiv.org/abs/1405.5555

Recommendations

• Relativistic computers and the Turing barrier
• scientific article; zbMATH DE number 1909823
• General relativistic hypercomputing and foundation of mathematics
• Hypercomputation and the Physical Church‐Turing Thesis
• Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory

zbMATH Keywords

hypercomputationMalament-Hogarth spacetimesrelativistic computerstimelike entanglement

Mathematics Subject Classification ID

Quantum computation (81P68) Biographies, obituaries, personalia, bibliographies (01A70) Quantum information, communication, networks (quantum-theoretic aspects) (81P45) Gravitational interaction in quantum theory (81V17) Special relativity (83A05) Einstein's equations (general structure, canonical formalism, Cauchy problems) (83C05) Relativistic cosmology (83F05)

Cites Work

• Title not available (Why is that?)
• Non-Turing computations via Malament--Hogarth space-times
• General relativistic hypercomputing and foundation of mathematics
• Quantum information and relativity theory
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• General Relativity
• Title not available (Why is that?)
• The Extent of Computation in Malament–Hogarth Spacetimes
• On predictions in retro-causal interpretations of quantum mechanics
• Relativistic computers and the Turing barrier
• Title not available (Why is that?)
• Title not available (Why is that?)
• The physical Church-Turing thesis: modest or bold?
• Logical Approaches to Computational Barriers
• Can we know the global structure of spacetime?
• On the possibility of supertasks in general relativity

Cited In (5)

• Relativistic computers and the Turing barrier
• Around the physical Church-Turing thesis: cellular automata, formal languages, and the principles of quantum theory
• Programming infinite machines
• The significance of relativistic computation for the philosophy of mathematics
• Logic and relativity theory

This page was built for publication: A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q514550)