Свободная теорема о Джоне Х. Конуэй и Саймон Б. Кохен утверждает, что если мы имеем свободную волю в том смысле, что наш выбор не зависит от прошлого, то, с учетом определенных предположений, так должен некоторые элементарные частицы. Статья Конвея и Кочена была опубликована в журнале « Основы физики» в 2006 году. В 2009 году авторы опубликовали более сильную версию теоремы в « Уведомлениях» Американского математического общества. Позже, в 2017 году, Кочен уточнил некоторые детали.
Доказательство теоремы в первоначальной формулировке опирается на три аксиомы, которые Конвей и Кохен называют «плавник», «вращение» и «близнец». Аксиомы спина и двойников могут быть проверены экспериментально.
В своей более поздней статье 2009 года «Сильная теорема о свободе воли» Конвей и Кохен заменяют аксиому Фин более слабой, называемой Мин, тем самым усиливая теорему. Мин утверждает только, что два экспериментатора, разделенные пространственным образом, могут делать выбор измерений независимо друг от друга. В частности, не постулируется, что скорость передачи всей информации ограничивается максимальным пределом, а только конкретной информации о вариантах измерений. В 2017 году Кочен утверждал, что Min можно заменить на Lin - экспериментально проверяемую ковариацию Лоренца.
Теорема о свободе воли гласит:
С учетом аксиом, если два рассматриваемых экспериментатора могут свободно выбирать, какие измерения проводить, то результаты измерений не могут быть определены ничем до экспериментов.
Это теорема об открытии исхода.
Если исход эксперимента был открыт, то один или два экспериментатора могли действовать добровольно.
Поскольку теорема применима к любой произвольной физической теории, согласующейся с аксиомами, было бы невозможно даже поместить информацию в прошлое Вселенной специальным образом. Аргументация исходит из теоремы Кохена – Шпекера, которая показывает, что результат любого отдельного измерения спина не был зафиксирован независимо от выбора измерений. Как заявили Катор и Ландсман относительно теорий скрытых переменных : «Было аналогичное противоречие между идеей о том, что скрытые переменные (в соответствующем причинном прошлом) должны, с одной стороны, включать всю онтологическую информацию, относящуюся к эксперименту, но на самом деле. другая рука должна предоставить экспериментаторам возможность выбирать любые настройки, которые им нравятся ".
Согласно Катору и Ландсману, Конвей и Кочен доказывают, что «детерминизм несовместим с рядом априори желаемых допущений». Катор и Ландсман сравнивают предположение Мина с предположением о локальности в теореме Белла и заключают в пользу теоремы о сильной свободе воли, что она «использует меньше предположений, чем теорема Белла 1964 года, поскольку не делается никаких апелляций к теории вероятностей». Философ Дэвид Ходжсон поддерживает эту теорему как убедительно показывающую, что «наука не поддерживает детерминизм»: квантовая механика доказывает, что частицы действительно ведут себя не так, как это было в прошлом. Некоторые критики утверждают, что теорема применима только к детерминированным моделям.