A New Way to Implement Quantum Computation

Gennaro Auletta

University of Cassino, Cassino, Italy.

DOI: 10.4236/jqis.2013.34017                

Abstract

In this paper, I shall sketch a new way to consider a Lindenbaum-Tarski algebra as a 3D logical space in which any one (of the 256 statements) occupies a well-defined position and it is identified by a numerical ID. This allows pure mechanical computation both for generating rules and inferences. It is shown that this abstract formalism can be geometrically represented with logical spaces and subspaces allowing a vectorial representation. Finally, it shows the application to quantum computing through the example of three coupled harmonic oscillators.

Keywords

Lindenbaum-Tarski Algebra; 3D Logical Space; Mechanical Computation; Inference; Quantum Com-puting; Raising Operators; Lowering Operators

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	G. Boole, “An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities,” New York, Dover, 1958.
[2]	A. Tarski, “On the Foundations of Boolean Algebra,” Vol. 10, 1935, pp. 320-341.
[3]	G. Auletta, “Mechanical Logic in three-Dimensional Space,” PanStanford Pub, Peking, 2014.
[4]	G. Auletta and S.-Y. Wang, “Quantum Mechanics for Thinkers,” Pan Stanford Pub, Peking, 2014.
[5]	G. Auletta, “Inferences with Information,” Universal Journal of Applied computer Science and Technology, Vol. 2, No. 2, 2012, pp. 216-221.
[6]	H.-K. Lo, S. Popescu and T. Spiller, “Introduction to Quantum Computation and Information,” World Scientific, Singapore, 1998.
[7]	M. A. Nielsen and I. L. Chuang, “Quantum Computation and Quantum Information,” University Press, Cambridge, 2011.
[8]	D. Bouwmeester, A. K. Ekert and A. Zeilinger, “The Physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation,” Springer, Berlin, 2000.
[9]	G. Auletta, M. Fortunato and G. Parisi, “Quantum Mechanics,” University Press, Cambridge, 2009.
[10]	A. Tarski, Logic, “Semantics, Meta-Mathematics,” University Press, Oxford, 1956.