и фон Нейман опубликовали статью «Логика квантовой механики»
[43].
Хотя чуть раньше, в 1932 году, фон Нейман в своей знаменитой книге «Математические основы квантовой механики»[44] уже обратил внимание на возможность существования особой квантовой логики, обобщающей логику классическую: «Наряду с физическими величинами R существует еще нечто, являющееся предметом физики: именно альтернативные свойства системы L». То есть предметом физики являются не только некоторые конкретные физические величины, полученные при измерении, но и вся совокупность «» результатов — тех, которые могли иметь место, но в данном случае не были реализованы.
Основное отличие квантовой логики от классической заключается в том, что в ней состояния физической системы определяются не только конкретными значениями связанных с системой наблюдаемых, но и всей совокупностью альтернативных свойств системы (суперпозицией состояний).
Квантовая логика существенно отличается от . Например, не выполняется закон дистрибутивности в его общей форме. Дистрибутивность операций имеет место лишь для некоторых отдельных множеств, заданных на так называемых совместимых подпространствах гильбертова пространства. Дистрибутивный закон справедлив для попарно совместимых подпространств. С набором совместимых подпространств можно связать проекционные операторы и построить наблюдаемые, которые будут попарно коммутировать, и их можно представить как функцию одного оператора, то есть им соответствуют одновременно измеряемые величины[45].
Квантовая логика сейчас еще только разрабатывается, и пока трудно оценить все возможные последствия нового мышления, но несомненно — они будут очень значительны.
В этом отношении многое делается математиками, которые сейчас интенсивно работают над квантовыми алгоритмами и программами для квантового компьютера. Им в какой-то мере проще — не надо думать о физических ограничениях «на железо». Как только появится квантовый компьютер «в железе», у математиков уже будет в запасе большое количество готовых квантовых алгоритмов и программ.
Для реализации квантовых алгоритмов нужно небольшое число логических квантовых операторов (): — NOT (логическое «Не»), преобразование Адамара (перевод кубита в нелокальное суперпозиционное состояние); — CNOT (контролируемое «Не»), SWAP (обмен состояниями) — и этого будет достаточно. С их помощью можно реализовать любые алгоритмы — не только классические, но и квантовые, которые реализуют квантовую логику.
