## 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 = {}

}

### 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.