自由意志定理

約翰·何頓·康威和的自由意志定理指的是說，若人在「選擇非過去的函數」的意義下有自由意志，那在特定的假設下，一些基本粒子也必然有自由意志。康威和科亨的結果首先於2006年出版於《》，之後在2009年，兩人在《美國數學學會通訊》上出版加強版的定理；在2017年，科亨詳述了定理的一些細節。

公設
這定理的最初證明仰賴三個公設，康威和科亨將之分別稱為「fin」、「spin」和「twin」。其中的「spin」和「twin」公設可由實驗證實。
 「fin」公設：信息傳播有最大速限（這速限未必是光速）。這公設仰賴於因果律。
 「spin」公設：若以正交方向表示，那特定自旋為一的基本粒子的平方自旋成分，會是的輪換。
 「twin」公設：讓兩個基本粒子發生纏結並將之分開一段距離，進而使之在同方向觀測上有同樣的平方自旋是可能的。這是量子纏結的結果，但「twin」公設是否成立這點，並不需要完全的纏結，也就是說，纏結是充分但非必要的條件。

在其2009年的論文《加強版自由意志定理》（The Strong Free Will Theorem）中，康威和科亨將「fin」公設以一個他們稱為「Min」且較弱的公設取代，進而加強此定理。「Min」公設只假定說兩個以類空間的機制分開的實驗者可獨立做出觀測決定。特別地，這不假定說「所有的」信息傳播都有速限，而只假定說與觀測決定相關的特定信息有速限。在2017年，科亨聲稱「Min」公設可由「Lin」公設，也就是可實驗驗證的勞侖茲協變性所取代。

定理
自由意志定理陳述如下：


這是一個「開放結果」定理。

由於這定理可用於任意與這些公設一致的物理系統上之故，因此以任何特設的方式將信息套用於宇宙的過去上是不可能的。這論證是科亨-施佩克爾定理的進展，而科亨-施佩克爾定理指出，任何對自旋的個別觀測的結果，不會獨立地取決於對測量方式的決定。而Cator和Landsman對隱變量理論下評論道：「隱變量理論一方面希望包含所有和實驗有關的現象的信息，另一方面又希望給實驗者自由決定他們想要的設定的空間，但這些想法彼此間有類似的衝突。」

回響
Cator和Landsman認為，康威和科亨證明了「決定論與許多先驗上理想的結果不相容」。Cator和Landsman將「Min」公設與貝爾定理的定域性假設做比較，並總結說加強版自由意志定理因為「不訴諸機率論」因而「用了比貝爾在1964年定理更少的假設」之故而更好。

哲學家David Hodgson支持這項理論，並認為這項理論相當結論性地指出「科學不支持決定論」，並指出這是因為量子力學證明了粒子的行為在一定程度上並非過去的函數之故。而一些評論者聲稱這理論只套用於決定性模型之上，但其甚至不能套用於隨機性模型之上。Sheldon Goldstein, Daniel V. Tausk, Roderich Tumulka, and Nino Zanghì (2010). What Does the Free Will Theorem Actually Prove?  Notices of the AMS, December, 1451–1453.

參見

貝爾定理
相容論
脈絡主義
反事實確定性
愛因斯坦-波多爾斯基-羅森弔詭
自由意志主義 (形上學)

定域性原理
超決定論
量子心靈
協調客觀還原

註解

參考資料
 Conway and Kochen, The Strong Free Will Theorem , published in Notices of the AMS. Volume 56, Number 2, February 2009.

Introduction to the Free Will Theorem , videos of six lectures given by J. H. Conway, Mar. 2009.


Category:物理定理
Category:自由意志