Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.
Juan C. Agudelo, Walter Alexandre Carnielli · Indian International Conference on Artificial Intelligence · 2005
We present the new model of paraconsistent Turing machines and revise the models of quantum Turing machines and quantum circuits, stressing the concepts of entangled states and quantum parallelism which are important features for efficient quantum algorithms. We revise a quantum circuit that solves the so-called Deutsch’s problem, and then provide another solution to Deutsch’s problem by means of paraconsistent Turing machines. This raises some stimulating questions, and we close the paper by discussing some relationships between paraconsistent Turing machines and quantum Turing machines.