Related papers: Horizons Protect Church-Turing
The quantum-Extended Church-Turing thesis has been explored in many physical theories including general relativity but lacks exploration in quantum field theories such as quantum electrodynamics. Through construction of a computational…
Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory. Yet several works have shown how quantum theory as it stands could breach the physical Church-Turing thesis. We draw a clear line as to…
It is possible in principle to construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolution, would contradict the Church-Turing thesis, which lies at the…
We investigate the Church-Kalm\'ar-Kreisel-Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there…
The Church-Turing thesis asserts that if a partial strings-to-strings function is effectively computable then it is computable by a Turing machine. In the 1930s, when Church and Turing worked on their versions of the thesis, there was a…
The Church-Turing thesis is one of the pillars of computer science; it postulates that every classical system has equivalent computability power to the so-called Turing machine. While this thesis is crucial for our understanding of…
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…
We construct quantum mechanical observables and unitary operators which, if implemented in physical systems as measurements and dynamical evolutions, would contradict the Church-Turing thesis which lies at the foundation of computer…
Recently, Almheiri et. al. argued, via a delicate thought experiment, that it is not consistent to simultaneosuly require that (a) Hawking radiation is pure, (b) effective field theory is valid outside a stretched horizon and (c) infalling…
We prove the Extended Church-Turing Thesis: Every effective algorithm can be efficiently simulated by a Turing machine. This is accomplished by emulating an effective algorithm via an abstract state machine, and simulating such an abstract…
Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of…
The essay consists of three parts. In the first part, it is explained how theory of algorithms and computations evaluates the contemporary situation with computers and global networks. In the second part, it is demonstrated what new…
Roughly, the Church-Turing thesis is a hypothesis that describes exactly what can be computed by any real or feasible conceptual computing device. Generally speaking, the computational metaphor is the idea that everything, including the…
We present a quantum theory of black hole (and other) horizons, in which the standard assumptions of complementarity are preserved without contradicting information theoretic considerations. After the scrambling time, the quantum mechanical…
I review elements of the foundations of black-hole theory with attention to problematic issues, and describe some techniques which either seem to help with the difficulties or at least investigate their scope. The definition of black holes…
Can a Turing Machine simulate the human mind? If the Church-Turing thesis is assumed to be true, then a Turing Machine should be able to simulate the human mind. In this paper, I challenge that assumption by providing strong mathematical…
Using a quantum tunneling derivation, we show the resilience of Hawking radiation in Lorentz violating gravity. In particular, we show that the standard derivation of the Hawking effect in relativistic quantum field theory can be extended…
The formalism of the horizon quantum mechanics is applied to electrically neutral and spherically symmetric black hole geometries emerging from coherent quantum states of gravity to compute the probability that the matter source is inside…
The cosmic censorship conjecture posits that singularities forming to the future of a regular Cauchy surface are hidden by an event horizon. Consequently any topological structures will ultimately collapse within the horizon of a set of…
Black Holes are unique objects which allow for meaningful theoretical studies of strong gravity and even quantum gravity effects. An infalling and a distant observer would have very different views on the structure of the world. However, a…