Во втором разделе статьи авторы делают обзор наиболее широко известных к настоящему времени псевдотелепатических игр. Они начинают с известной статьи Кохенаи Шпекера[42], которую часто называют одной из ключевых работ в процессе становления квантовой логики. Кохен и Шпекер пытались с помощью скрытых переменных свести квантовую логику к классической, то есть делали попытку перевести язык квантовой логики на язык классических теорий – булеву алгебру. Они показали, что это невозможно сделать, построив свой знаменитый контрпример – граф из 117 точек.
Таким образом, квантовая логика тесно переплетается с телепатическими играми квантовой теории.
Привычная для нас классическая логика является лишь частным случаем квантовой и справедлива для незначительной части реальности, описываемой классической физикой. Моментом зарождения квантовой логики как самостоятельного направления в квантовой теории можно считать 1936 год, когда Бирхгови фон Нейман опубликовали статью «Логика квантовой механики»[43].
Хотя чуть раньше, в 1932 году, фон Нейман в своей знаменитой книге «Математические основы квантовой механики»[44] уже обратил внимание на возможность существования особой квантовой логики, обобщающей логику классическую: «Наряду с физическими величинами R существует еще нечто, являющееся предметом физики: именно альтернативные свойства системы L». То есть предметом физики являются не только некоторые конкретные физические величины, полученные при измерении, но и вся совокупность «непроявленных» результатов – тех, которые могли иметь место, но в данном случае не были реализованы.
Основное отличие квантовой логики от классической заключается в том, что в ней состояния физической системы определяются не только конкретными значениями связанных с системой наблюдаемых, но и всей совокупностью альтернативных свойств системы (суперпозицией состояний).
Квантовая логика существенно отличается от булевой. Например, не выполняется закон дистрибутивности в его общей форме. Дистрибутивность операций имеет место лишь для некоторых отдельных множеств, заданных на так называемых совместимых подпространствах гильбертова пространства. Дистрибутивный закон справедлив для попарно совместимых подпространств. С набором совместимых подпространств можно связать проекционные операторы и построить наблюдаемые, которые будут попарно коммутировать, и их можно представить как функцию одного оператора, то есть им соответствуют одновременно измеряемые величины[45].
Квантовая логика сейчас