Locality, Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum Theory
BibTeX
@MISC{Heather_locality,weak,
author = {M. A. Heather and B. N. Rossiter},
title = {Locality, Weak or Strong Anticipation and Quantum Computing. I. Non-locality in Quantum Theory},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract The universal Turing machine is an anticipatory theory of computability by any digital or quantum machine. However the Church-Turing hypothesis only gives weak anticipation. The construction of the quantum computer (unlike classical computing) requires theory with strong anticipation. Category theory provides the necessary coordinate-free mathematical language which is both constructive and non-local to subsume the various interpretations of quantum theory in one pullback/pushout Dolittle diagram. This diagram can be used to test and classify physical devices and proposed algorithms for weak or strong anticipation. Quantum Information Science is more than a merger of Church-Turing and quantum theories. It has constructively to bridge the non-local chasm between the weak anticipation of mathematics and the strong anticipation of physics.
