Free will theorem
The free will theorem of John H. Conway and Simon B. Kochen states that, if we have a certain amount of "free will", then, subject to certain assumptions, so must some elementary particles. Conway and Kochen's paper was published in Foundations of Physics in 2006.
The proof of the theorem relies on three axioms, which Conway and Kochen call "fin", "spin", and "twin". The spin and twin axioms can be verified experimentally.
- Fin: There is a maximum speed for propagation of information (not necessarily the speed of light). This assumption rests upon causality.
- Spin: The squared spin component of certain elementary particles of spin one, taken in three orthogonal directions, will be a permutation of (1,1,0).
- Twin: It is possible to "entangle" two elementary particles, and separate them by a significant distance, so that they have the same squared spin results if measured in parallel directions. This is a consequence of (but more limited than) quantum entanglement.
In their later paper, "The Strong Free Will Theorem," Conway and Kochen weaken the Fin axiom (thereby strengthening the theorem) to a new axiom called Min, which asserts only that two experimenters separated in a space-like way can make choices of measurements independently of each other. In particular, they are not asserting that all information must travel finitely fast; only the particular information about choices of measurements.
The theorem states that, given the axioms, if the two experimenters in question are free to make choices about what measurements to take, then the results of the measurements cannot be determined by anything previous to the experiments. Since the theorem applies to any arbitrary physical theory consistent with the axioms, it would not even be possible to place the information into the universe's past in an ad hoc way. The argument proceeds from the Kochen-Specker theorem, which shows that the result of any individual measurement of spin was not fixed independently of the choice of measurements.
Conway and Kochen do not prove that free will does exist. The definition of "free will" used in the proof of this theorem is simply that an outcome is "not determined" by prior conditions, and some philosophers strongly dispute the equivalence of "not determined" with free will. Some critics argue that the theorem only applies to deterministic models. Others have argued that the indeterminism that Conway and Kochen claim to have established was already assumed in the premises of their proof.
- Bell's inequalities
- Einstein-Podolsky-Rosen paradox
- Libertarianism (metaphysics)
- No-communication theorem
- Principle of locality
- Conway, John; Simon Kochen (2006). "The Free Will Theorem". Foundations of Physics 36 (10): 1441. arXiv:quant-ph/0604079. Bibcode:2006FoPh...36.1441C. doi:10.1007/s10701-006-9068-6.
- 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, http://www.ams.org/notices/201011/rtx101101451p.pdf
- Christian Wüthrich (2011). Can the world be shown to be indeterministic after all?. In Beisbart and Hartmann (eds.), Probabilities in Physics, Oxford University Press, 365-389, preprint at http://philsci-archive.pitt.edu/8437/1/WuthrichChristian2010PhilSci_IndeterministicWorld.pdf.
- Conway and Kochen, The Strong Free Will Theorem, published in Notices of the AMS. Volume 56, Number 2, Feb. 2009.
- Rehmeyer, Julie (August 15, 2008). "Do Subatomic Particles Have Free Will?". Science News
- Probing Free Will: A Video Lecture Guide, videos of six lectures given by J.H. Conway, Mar. 2009
- Wüthrich, Christian, "Can the world be shown to be indeterministic after all?", in Beisbart and Hartmann (eds.), Probabilities in Physics, Oxford: Oxford University Press (2011), 365-389. Preprint available at .