John H. Conway és Simon B. Cohen szabad akarat tétele kimondja, hogy ha szabad akaratunk van abban az értelemben, hogy döntéseink nem a múlt függvényei, akkor bizonyos feltételezések alapján bizonyos elemi részecskék is rendelkeznek vele . Conway és Cohen cikke a Fundamentals of Physics folyóiratban jelent meg 2006-ban. [1] 2009-ben a Notices of the AMS -ben publikálták a tétel erősebb változatát . [2] Később, 2017-ben Cohen dolgozott néhány részleten [3] .
Az eredetileg megfogalmazott tétel bizonyítása három axiómára támaszkodik, amelyeket Conway és Cohen „finnek”, „pörgésnek” és „ikernek” nevez. A spin és iker axióma kísérletileg igazolható [4] .
Későbbi, 2009-es, "The Strong Free Will Theorem" [2] című tanulmányában Conway és Cohen lecseréli Fint egy gyengébb Min nevű axiómára, amely megerősíti a tételt. A Min csak azt állítja, hogy két, térben elválasztott kísérletező egymástól függetlenül választhat méréseket. Különösen nem feltételezik, hogy az összes információ átviteli sebességét egy maximális korlát korlátozza, hanem csak a mérési lehetőségekre vonatkozó konkrét információktól függ. 2017-ben Cohen azzal érvelt, hogy Min helyettesíthető Linnel, egy kísérletileg igazolható Lorentz-kovarianciával . [3]
Az axiómák ismeretében, ha a kérdéses két kísérletező szabadon választhat, hogy melyik mérést végezze el, akkor a mérések eredményeit a kísérlet előtt semmivel nem lehet meghatározni.
Mivel a tétel bármely tetszőleges fizikai elméletre vonatkozik, amely összhangban van ezekkel az axiómákkal, lehetetlen lenne még az univerzum múltjába az információt ad hoc módon helyezni. Az érvelés a Cohen-Specker-tételből származik, amely azt mutatja, hogy egyetlen spinmérés eredménye sem volt rögzítve, függetlenül a mérések megválasztásától. Ahogy Kator és Landsman a látens változó-elméletekkel kapcsolatban kijelentette : [5] "Hasonló feszültség volt a között, hogy a látens változóknak (a megfelelő ok-okozati múltban) egyrészt tartalmazniuk kell a kísérlet szempontjából releváns összes ontológiai információt. , de másrészt hagynia kell a kísérletezőknek, hogy bármilyen beállítást válasszanak."
A tétel bizonyítása a 40 évvel korábban felvetett Cohen-Specker paradoxonon alapul. A paradoxon megmutatta, hogy ellentmondás van a klasszikus fogalmak és a kvantumelmélet között - a nem ingázási operátorok tilalmának megsértése bizonyos számértékekkel egyidejűleg jár, és ez elemi algebrai ellentmondásokhoz vezet [6] .
A tétel következményeHa a kísérleti fizikusoknak valóban szabad akarata van, akkor az általuk vizsgált elemi részecskék viselkedése kiszámíthatatlan.