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

@article{Wuthrich2014AQC,
  title={A quantum-information-theoretic complement to a general-relativistic implementation of a beyond-Turing computer},
  author={Christian Wuthrich},
  journal={Synthese},
  year={2014},
  volume={192},
  pages={1989-2008}
}
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, Nemeti and David (Appl Math Comput 178:118–142, 2006) have shown how an appreciation of the physical… 
3 Citations

Programming Infinite Machines

For infinite machines which are free from the classical Thompson's lamp paradox it is shown that they are not free from its inverted version and an infinite mechanism which simulate this paradox is provided.

Logic and relativity theory

References

SHOWING 1-10 OF 32 REFERENCES

The Physical Church–Turing Thesis: Modest or Bold?

  • G. Piccinini
  • Philosophy
    The British Journal for the Philosophy of Science
  • 2011
It is proposed to explicate the notion of physical computability in terms of a usability constraint, according to which for a process to count as relevant to Physical CT, it must be usable by a finite observer to obtain the desired values of a function.

General relativistic hypercomputing and foundation of mathematics

A physical device in relativistic spacetime which can compute a non-Turing computable task, e.g. which can decide the halting problem of Turing machines or decide whether ZF set theory is consistent (more precisely,can decide the theorems of ZF).

Physical Hypercomputation and the Church–Turing Thesis

It is argued that the existence of the device does not refute the Church–Turing thesis, but nevertheless may be a counterexample to Gandy's thesis.

Non-Turing Computations Via Malament–Hogarth Space-Times

It is argued that there are several distinguished Church–Turing-type theses (not only one) and validity of some of these theses depend on the background physical theory the authors choose to use, and if they choose classical general relativity theory as their background theory, then certain forms of the Church-Turing thesis cease to be valid.

Quantum non-locality and relativity

It is sometimes stated that composite quantum systems in entangled states are fundamentally ‘non-local’(i.e. a measurement on one component system can affect a spacelike separated system

Quantum computation and quantum information

  • T. Paul
  • Physics
    Mathematical Structures in Computer Science
  • 2007
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal

Begging the signalling question: quantum signalling and the dynamics of multiparticle systems

The abundant experimental confirmation of Bell’s Theorem has made a compelling case for the nonlocality of quantum mechanics (QM), in the precise sense that quantum phenomena exhibit correlations

Can General Relativistic Computers Break the Turing Barrier?

- Can general relativistic computers break the Turing barrier? – Are there final limits to human knowledge? – Limitative results versus human creativity (paradigm shifts). – Godel's logical results

Quantum Information and Relativity Theory

Quantum mechanics, information theory, and relativity theory are the basic foundations of theoretical physics. The acquisition of information from a quantum system is the interface of classical and