Квантова логіка
Квантова логіка — набір правил логіки для роботи з системами, що потребують урахування квантових законів. Вона часто називається сучасною основою, або структурою квантових розрахунків.
Звичайна булева логіка не застосовна для квантових розрахунків з огляду на вимогу зворотності квантових процесів. Квантова механіка вимагає того, щоб за результатом дії можна було б однозначно визначити початкові операнди. Наприклад, якщо в звичайній логіці результат операції АБО — істина, то можна зробити висновок, що хоча б один з двох операндів мав значення істина. Точно визначити, який із них був істинним, чи, можливо, істинними були обидва, — неможливо. Така ситуація недопустима в квантовій механіці, тому операція АБО не може бути реалізованою квантовим комп'ютером. З огляду на це квантова логіка користується іншими логічними операціями, які мають властивості зворотності.
Див. також [ред.]
Література [ред.]
- D. Cohen, An Introduction to Hilbert Space and Quantum Logic, Springer-Verlag, 1989.
Посилання [ред.]
- Logic and Probability Theory на сайті Стенфордського університету (англ.)
|
|||||||||||||||||||||||||||||||||||||||||||||||
