查看“︁自由意志定理”︁的源代码

[[約翰·何頓·康威]]和{{link-en|西蒙·科亨|Simon B. Kochen}}的'''自由意志定理'''指的是說，若人在「選擇非過去的函數」的意義下有[[自由意志]]，那在特定的假設下，一些[[基本粒子]]也必然有自由意志。康威和科亨的結果首先於2006年出版於《{{link-en|物理學基礎|Foundations of Physics}}》，<ref>{{cite journal | last = Conway | first = John |author2=Simon Kochen | year = 2006 | title = The Free Will Theorem | journal = Foundations of Physics | volume = 36 | issue = 10 | pages = 1441 | doi = 10.1007/s10701-006-9068-6 |arxiv = quant-ph/0604079 |bibcode = 2006FoPh...36.1441C | s2cid = 12999337 }}</ref>之後在2009年，兩人在《[[美國數學學會通訊]]》上出版加強版的定理；<ref name=Later>{{cite journal |author1=Conway, John H. |author2=Simon Kochen |title=The strong free will theorem |journal= Notices of the AMS |volume=56 |issue=2 |year=2009 |pages=226–232 |url=https://www.ams.org/notices/200902/rtx090200226p.pdf?q=will&sa=U&ei=k71jU8X7DoypyASw9YGoCA&ved=0CCAQFjAB&usg=AFQjCNE7L-k87yWE32ru0rDjkLOdg12LRQ}}</ref>在2017年，科亨詳述了定理的一些細節。<ref name=":0">{{Cite arXiv|eprint = 1710.00868|last1 = Kochen|first1 = Simon|title = Born's Rule, EPR, and the Free Will Theorem|year = 2017|class = quant-ph}}</ref>

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

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

==定理==
自由意志定理陳述如下：
 
{{blockquote|根據公設，若該如何測量的決定並非實驗者可得訊息的函數（自由意志公設），那測量的結果不能由實驗前的任何東西決定。}}

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

{{blockquote|若實驗結果是開放的，那其中一個或兩個實驗者可能以自由意志做決定。}}

由於這定理可用於任意與這些公設一致的物理系統上之故，因此以任何特設的方式將信息套用於宇宙的過去上是不可能的。這論證是[[科亨-施佩克爾定理]]的進展，而科亨-施佩克爾定理指出，任何對自旋的個別觀測的結果，不會獨立地取決於對測量方式的決定。而Cator和Landsman對[[隱變量理論]]下評論道：<ref name=Cantor>{{cite journal |author1=Cator, Eric |author2=Klaas Landsman |title=Constraints on determinism: Bell versus Conway–Kochen |journal=Foundations of Physics |volume=44 |issue=7 |year=2014 |pages=781–791 |doi=10.1007/s10701-014-9815-z|arxiv = 1402.1972 |bibcode = 2014FoPh...44..781C |s2cid=14532489 }}</ref>「隱變量理論一方面希望包含所有和實驗有關的現象的信息，另一方面又希望給實驗者自由決定他們想要的設定的空間，但這些想法彼此間有類似的衝突。」

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

哲學家David Hodgson支持這項理論，並認為這項理論相當結論性地指出「科學不支持決定論」，並指出這是因為量子力學證明了粒子的行為在一定程度上並非過去的函數之故。<ref>{{cite book |author=David Hodgson |title=Rationality + Consciousness = Free Will |url=https://archive.org/details/rationalityconsc0000hodg |isbn=9780199845309 |year=2012 |publisher=Oxford University Press}}</ref>而一些評論者聲稱這理論只套用於決定性模型之上，但其甚至不能套用於隨機性模型之上。<ref>Sheldon Goldstein, Daniel V. Tausk, Roderich Tumulka, and Nino Zanghì (2010). [https://www.ams.org/notices/201011/rtx101101451p.pdf What Does the Free Will Theorem Actually Prove?] {{Wayback|url=https://www.ams.org/notices/201011/rtx101101451p.pdf |date=20240214145034 }} ''Notices of the AMS'', December, 1451–1453.</ref>

==參見==
{{cols|colwidth=26em}}
*[[貝爾定理]]
*[[相容論]]
*[[語境主義|脈絡主義]]
*[[反事實確定性]]
*[[愛因斯坦-波多爾斯基-羅森弔詭]]
*[[自由意志主義 (形上學)]]
*{{link-en|通信禁律|No-communication theorem}}
*[[定域性原理]]
*[[超決定論]]
*[[量子心靈]]
*[[協調客觀還原]]
{{colend}}

==註解==
<references />

==參考資料==
* Conway and Kochen, [https://www.ams.org/notices/200902/rtx090200226p.pdf The Strong Free Will Theorem] {{Wayback|url=https://www.ams.org/notices/200902/rtx090200226p.pdf |date=20240308050241 }}, published in Notices of the AMS. Volume 56, Number 2, February 2009.
*{{Cite journal
  | last = Rehmeyer
  | first = Julie
  | title = Do Subatomic Particles Have Free Will?
  | journal = Science News
  | volume = 
  | issue = 
  | pages = 
  | date = August 15, 2008
  | url = http://www.sciencenews.org/view/generic/id/35391/title/Math_Trek__Do_subatomic_particles_have_free_will%3F
  | doi = 
  | access-date = 2023-12-20
  | archive-date = 2012-10-22
  | archive-url = https://web.archive.org/web/20121022004505/http://www.sciencenews.org/view/generic/id/35391/title/Math_Trek__Do_subatomic_particles_have_free_will%3F
  | dead-url = no
  }}
*[https://mediacentral.princeton.edu/tag/tagid/free%20will Introduction to the Free Will Theorem] {{Wayback|url=https://mediacentral.princeton.edu/tag/tagid/free%20will |date=20230613002656 }}, videos of six lectures given by J. H. Conway, Mar. 2009.
* {{cite encyclopedia
|last= Wüthrich
|first= Christian
|editor1-first= Claus
|editor1-last= Beisbart
|editor2-first= Stephan
|editor2-last= Hartmann
|encyclopedia= Probabilities in Physics
|title= Can the world be shown to be indeterministic after all?
|trans-title= 
|date= September 2011
|publisher= Oxford University Press
|isbn= 978-0199577439
|doi= 10.1093/acprof:oso/9780199577439.003.0014
|pages= 365–389
|url= http://philsci-archive.pitt.edu/8437/1/WuthrichChristian2010PhilSci_IndeterministicWorld.pdf
|access-date= 2023-12-20
|archive-date= 2022-11-16
|archive-url= https://web.archive.org/web/20221116093251/http://philsci-archive.pitt.edu/8437/1/WuthrichChristian2010PhilSci_IndeterministicWorld.pdf
|dead-url= no
}}

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