양자 논리

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색

양자 논리(Quantum logic)란 수리물리학양자역학 에서 이론 을 세우기 위해 연역을 할 때, 양자 역학의 결과를 염두에 둔 규칙을 적용하는 것을 뜻한다. 이 연구 분야의 이름은 존 폰 노이만 과 가렌 비르코프의 1936년 논문에서, 고전 불 논리와 현대 물리의 양자역학의 위치와 운동량 측정 이론 간에 논리에 틈이 생긴 것을 메우려고 하면서 처음으로 쓰였다.

같이 보기[편집]

  • HPO 이론 (양자 논리에 대한 접근 방법 중 하나.)

참고 문헌[편집]

  • Auyang, S. (1995년). 《How is Quantum Field Theory Possible?》. Oxford University Press
  • F.Bayen,M.Flato,C.Fronsdal,A.Lichnerowicz and D.Sternheimer (1978년). Deformation theory and quantization I. 《Ann. Phys. (N.Y.),》 111: 61-110.
  • F.Bayen,M.Flato,C.Fronsdal,A.Lichnerowicz and D.Sternheimer (1978년). Deformation theory and quantization II. 《Ann. Phys. (N.Y.),》 111: 111-151.
  • Birkhoff, G., J. von Neumann (1936년). 《The Logic of Quantum Mechanics》, vol 37.
  • D. Cohen, An Introduction to Hilbert Space and Quantum Logic, Springer-Verlag, 1989. This is a thorough but elementary and well-illustrated introduction, suitable for advanced undergraduates.
  • D. Edwards, The Mathematical Foundations of Quantum Field Theory: Fermions, Gauge Fields, and Super-symmetry, Part I: Lattice Field Theories, International J. of Theor. Phys., Vol. 20, No. 7 (1981).
  • D. Finkelstein, Matter, Space and Logic, Boston Studies in the Philosophy of Science vol V, 1969
  • Gleason, A. (1957년). Measures on the Closed Subspaces of a Hilbert Space. 《Journal of Mathematics and Mechanics》.
  • Kadison, R. (1951년). Isometries of Operator Algebras. 《Annals of Mathematics》 54: 325-338.
  • G. Ludwig, Foundations of Quantum Mechanics, Springer-Verlag, 1983.
  • G. Mackey, Mathematical Foundations of Quantum Mechanics, W. A. Benjamin, 1963 (paperback reprint by Dover 2004).
  • J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955. Reprinted in paperback form.
  • R. Omnès, Understanding Quantum Mechanics, Princeton University Press, 1999. An extraordinarily lucid discussion of some logical and philosophical issues of quantum mechanics, with careful attention to the history of the subject. Also discusses consistent histories.
  • N. Papanikolaou, Reasoning Formally About Quantum Systems: An Overview, ACM SIGACT News, 36(3), pp. 51-66, 2005.
  • C. Piron, Foundations of Quantum Physics, W. A. Benjamin, 1976.
  • Putnam, H. (1969년). 《Is Logic Empirical?》, Boston Studies in the Philosophy of Science 5
  • Weyl, H. (1950년). 《The Theory of Groups and Quantum Mechanics》. Dover Publications

바깥 고리[편집]