A Logical Proof of the Free Will Theorem

Iegor Reznikoff
DOI: https://doi.org/10.48550/arXiv.1008.3661
2010-08-22
Abstract:We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics (Notices of the AMS, February 2009, Vol. 56/2, p. 226). The logical method seems to be very powerful.
Quantum Physics,Mathematical Physics
What problem does this paper attempt to address?
The paper attempts to address the problem concerning the logical proof of the Free-Will Theorem. Specifically, the author Iegor Reznikoff revisits the Free-Will Theorem proposed by John Conway and Simon Kochen in 2009 and proves this theorem through a formalized method of logical structure. ### Main Issues of the Paper 1. **Background of the Free-Will Theorem**: - The Free-Will Theorem is a quantum mechanics theorem proposed by Conway and Kochen, which states that if experimenters have free will in choosing the measurement direction, then quantum particles must also possess some form of free will. - This theorem is based on three main axioms: the SPIN axiom, the TWIN axiom, and the FIN axiom. 2. **Specific Goals of the Paper**: - The author re-proves the Free-Will Theorem through a formalized method of logical structure. - He assumes that a particle has some "directions" or "components" at a certain point in time, each of which can be observed at a certain point in time, and its value can be 0 or 1. - The author introduces some key axioms, such as: - **Axiom 1**: Only one component can be observed at the same point in time. - **Axiom 2**: If a component is observed at a certain point in time, its value is 0. - **Axiom 3**: At any point in time, not all components have a value of 0. 3. **Definition of Freedom**: - The author defines the freedom of a particle at a certain point in time as at least one component's value cannot be predicted by events that occurred before that point in time. - Similarly, the observer's freedom is defined as the ability to freely choose to observe any component at any point in time. 4. **Main Conclusions**: - If the theory is consistent and the observer is free, then the particle is also free. - The author proves this by contradiction, assuming that the particle is not free leads to a logical contradiction. ### Summary The paper re-proves Conway and Kochen's Free-Will Theorem through a formalized method of logical structure. By introducing a series of axioms and definitions, the author demonstrates in detail how the freedom of the particle can be derived from the freedom of the observer, thereby supporting the conclusion of the Free-Will Theorem.