Věta o svobodné vůli Johna H. Conwaye a Simona B. Cohena říká, že pokud máme svobodnou vůli v tom smyslu, že naše volby nejsou funkcí minulosti, pak ji za určitých předpokladů mají i některé elementární částice . Článek Conwaye a Cohena byl publikován v časopise Fundamentals of Physics v roce 2006. [1] V roce 2009 publikovali silnější verzi věty v Notices of the AMS . [2] Později, v roce 2017, Cohen pracoval na některých detailech [3] .
Důkaz teorému, jak byl původně formulován, se opírá o tři axiomy, které Conway a Cohen nazývají „Fin“, „spin“ a „twin“. Axiom spinu a dvojčete lze ověřit experimentálně [4] .
Ve svém pozdějším článku z roku 2009 „The Strong Free Will Theorem“ [2] Conway a Cohen nahrazují Fina slabším axiomem zvaným Min, který teorém posiluje. Min pouze uvádí, že dva experimentátoři, oddělení v prostoru , mohou volit měření nezávisle na sobě. Zejména se nepředpokládá, že přenosová rychlost všech informací je omezena maximálním limitem, ale závisí pouze na konkrétních informacích o možnostech měření. V roce 2017 Cohen tvrdil, že Min by mohl být nahrazen Linem, experimentálně ověřitelnou Lorentzovou kovariancí . [3]
Vzhledem k axiomům, pokud si dva dotyční experimentátoři mohou svobodně vybrat, která měření provedou, pak výsledky měření nelze před experimentem ničím určit.
Vzhledem k tomu, že teorém platí pro jakoukoli libovolnou fyzikální teorii konzistentní s těmito axiomy, bylo by dokonce nemožné vkládat informace do minulosti vesmíru ad hoc způsobem. Argument pochází z Cohen-Speckerova teorému, který ukazuje, že výsledek žádného jediného spinového měření nebyl pevný bez ohledu na výběr měření. Jak uvedli Kator a Landsman ve vztahu k teoriím latentních proměnných : [5] „Existovalo podobné napětí mezi myšlenkou, že latentní proměnné (v odpovídající kauzální minulosti) by na jedné straně měly zahrnovat všechny ontologické informace relevantní pro experiment. , ale na druhou stranu by měl experimentátorům ponechat volnost ve výběru libovolného nastavení."
Důkaz teorému je založen na Cohen-Speckerově paradoxu předloženém o 40 let dříve. Paradox ukázal, že mezi klasickými pojmy a kvantovou teorií existuje rozpor - porušení zákazu nedojíždění operátorů má zároveň určité číselné hodnoty, což vede k elementárním algebraickým rozporům [6] .
Důsledek větyPokud mají experimentální fyzici skutečně svobodnou vůli, pak je chování elementárních částic, které studují, nepředvídatelné.