Если квантовая логика не является средством, с помощью которого можно было бы доказать истинность такого рода теорий, то нельзя ли в этом смысле рассчитывать на знаменитую теорему фон неймана.

В кратком изложении доказательство фон Неймана сводится к следующему ^[99]: вводится понятие "чистого ансамбля", состоящего из n систем, каждая из которых описывается одной и той же функцией состояния, иначе говоря, одним и тем же распределением вероятностей (значением ожидания) для физических величин. Если бы действительно существовали скрытые параметры (сущностные величины), то было бы возможно свести распределение вероятностей чистого ансамбля к распределению настоящих состояний, из которых состоит ансамбль; тогда мы получили бы смесь, то есть такой ансамбль, который состоит из подансамблей, каждый из которых опять-таки является чистым ансамблем. Но, доказывает фон Нейман, такое сведение невозможно, потому что предсказания, которые делаются на основании чистых ансамблей, отличаются от тех, которые делаются на основании смесей ^[100]. Он отмечает также, что из такой редукции следовала бы возможность представления чистого ансамбля квантово-механических систем в виде совокупности свободных от дисперсии подансамблей, каждый элемент которых имел бы одно и то же значение u_k величины u. Но свободные от дисперсии ансамбли не могут существовать (принятие противоположного вело бы к противоречию с законами теории вероятностей и квантовой механики) ^[101].

Таким образом, доказательство фон Неймана имеет лишь ограниченное значение, поскольку оно существенно опирается на квантовую механику, которая, будучи эмпирической теорией, конечно, не может рассматриваться как некая необходимая истина. Самое большее, что можно было бы ожидать от этого доказательства, - это демонстрация того обстоятельства, что всякая теория, которая использовала бы "скрытые параметры", должна быть несовместима с квантовой механикой. Но фактически и этого доказательства нет. Что же на самом деле доказывает теорема фон Неймана? Она доказывает, что формализм квантовой механики не допускает скрытых параметров, которые могли бы быть определены в рамках этого формализма и которые частично совпадают с классическими величинами. Поэтому понятие "скрытый параметр" употребляется в особом смысле, приданном ему самим фон Нейманом, но этот смысл не должен быть распространен на любые скрытые параметры, то есть не является универсальным. Например, Бом и Баб вводят особые типы скрытых параметров, такие как неклассические потенциалы или величины, определимые в крайне малых временных интервалах, в которых происходит измерение, но диссипирующие сразу же после этого ^[102]. Из этого следует, что аксиома фон Неймана "Av(R)+Av(S)=Av(R+S), где R и S - наблюдаемые величины, не является общезначимой. С точки зрения Бома и Баба, квантовая механика может рассматриваться как частный случай, то есть как статистическая теория, которая может быть выведена из детерминистической теории, в которой величины качественно отличны от тех, какие фигурируют в квантовой механике. Теоретические подходы, подобные тем, какие предлагают Бом и Баб, сталкиваются с собственными специфическими проблемами; но здесь важно отметить, что теорема фон Неймана не может считаться аргументом ни против таких теорий, ни против понятия "скрытых параметров", связанного с ним.

Особенно интересно, что аксиома R явно используется как основание для теории скрытых параметров, наподобие той, какая предложена Бабом. Последний пишет: "Глубокий замысел, лежащий в основе разработки теории скрытых параметров, - это реализация "естественной философии", в которой понятие "целостности" включено в новый онтологический базис" [103]. Я думаю, что под "целостностью" Баб подразумевает боровское понятие аксиомы R. Именно это скорее всего он имеет в виду, когда говорит о революционном по своей сути и прогрессивном элементе новой физики; проблема лишь в том, что Бор не провел этот принцип с достаточной последовательностью. Поэтому мы можем сказать с полной определенностью, что аксиома R так же совместима с детерминизмом, как и аксиома S. Это исключительно важно.

Не думаю, что Эйнштейн и Бор не понимали этого. Их спор шел вокруг аксиом S и R, однако, на самом деле их увлекала более глубокая проблема соотношения детерминизма и индетерминизма. Знаменитая фраза Эйнштейна "Бог не играет в кости" ясно указывает на это. И потому интеллектуальное сражение, развернувшееся между ними, велось за философские категории "реальности" и "субстанции" с той же силой, как и за категорию "причинности".