关键词: 量子计算机, 叠加性质, 直觉主义逻辑, 析取元素, 观察者视角, 测量

Abstract: Quantum computer is becoming one of ongoing research direction of computer science.Quantum logic is the mathemati-cal foundation of quantum computation and quantum information.Von Neumann represented properties of quantum physical systems by closed subspaces of Hilbert space,thus constituting orthomodular lattice.Elements of orthomodular lattice own definite physical understanding but lack of the ability to describe superposition.Therefore,Bob Coecke constructed propositional lattice with Heyting algebra by adding disjunction elements for superposition.Elements of propositional lattice own definite mathematical meaning but lack of physical understanding.For latter,this paper gives a deeper explanation about physical understanding of elements of propositional lattice.As our viewpoint,the added disjunction elements represent “observer perspective”,which is required while depicting superposition in propositional lattice.Thus,by applying quantum logic on measurement operation,all elements of propositional lattice are given definite physical understanding and provide theoretical basis for quantum teleportation and action at distance.

Key words: Quantum computer, Superposition, Intuitionistic perspective, Disjunction element, Observer perspective, Measurement