Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Free Will Theorem

Timon Mede, Rudolf Podgornik

Published Jan 1, 2008• 0 citations
OpenAlex

Abstract

I begin with description of quantum entanglement and its relevance to the EPR-type experiments, which played a decisive role in rejecting determinism and hidden-variable theories. Thereby I prove the closely-related Kochen-Specker paradox, on which also the main object of my paper, the recently published Conway and Kochen’s Free Will Theorem, is founded. It is being shown there, on the basis of three physical axioms, following from the special theory of relativity and quantum mechanics, that if the choice for a particular type of spin 1 experiment is not a function of the information accessible to the experimenters, then its outcome is equally not a function of the information accessible to the particles. Therefor the response of the particles can be seen as free. In conclusion I mention some critical remarks on the theorem, expressed in subsequent responses to the original article.

Related papers

The Free Will Theorem (Russian Version)

J. Conway, Simon Kochen

On the basis of three physical axioms, we prove that if the choice of a particular type of spin 1 experiment is not a function of the information accessible to the experimenters, then its outcome is equally not a function of the information accessible to the particles. We show that this result is robust, and deduce that neither hidden variable theories nor mechanisms of the GRW type for wave function collapse can be made relativistic. We also establish the consistency of our axioms and discuss the philosophical implications.

•Jul 1, 2018•0 citations

The Strong Free Will Theorem

John H. Conway, Simon Kochen

Introduction The two theories that revolutionized physics in the twentieth century, relativity and quantum mechanics, are full of predictions that defy common sense. Recently, we used three such paradoxical ideas to prove “The Free Will Theorem” (strengthened here), which is the culmination of a series of theorems about quantum mechanics that began in the 1960s. It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this valuable commodity. More precisely, if the experimenter can freely choose the directions in which to orient his apparatus in a certain measurement, then the particle's response (to be pedantic—the universe's response near the particle) is not determined by the entire previous history of the universe. Our argument combines the well-known consequence of relativity theory, that the time order of spacelike separated events is not absolute, with the EPR paradox discovered by Einstein, Podolsky, and Rosen in 1935 and the Kochen–Specker Paradox of 1967 (see [5]). We follow Bohm in using a spin version of EPR and Peres in using his set of thirty-three directions, rather than the original configuration used by Kochen and Specker. More contentiously, the argument also involves the notion of free will, but we postpone further discussion of this to the last section of the chapter.

Cambridge University Press eBooks•Apr 18, 2011•136 citations

The Kochen-Specker and Conway-Kochen Theorems

Ahmed Barbar

This essay provides an analysis of two important theorems that arise in the context of quantum mechanics: the Kochen-Specker theorem, which challenges the existence of hidden variable theories; and the Conway-Kochen (free will) theorem, which can be seen as an improvement over the Kochen-Specker theorem, but instead focuses on challenging determinism.

•May 5, 2017•0 citations

Quantum Mechanics and No-Hidden Variable Theories: Comparing the Bell, Kochen-Specker and Free Will Theorems

P.A. Steijlen

This thesis explores the exact differences between the two most well-known no-hidden variable theories: the Bell theorem and the Kochen-Specker theorem. Furthermore, it tries to place a newer result called `the free will theorem', as developed by John Conway and Simon Kochen, in this context. To compare the Bell and Kochen-Specker theorems a reformulation of the two theorems by David Mermin will be discussed, which turns out to lead to an even stronger no-hidden variable theory. From the discussion of the free will theorem and the critical reactions it has elicited, it will become clear that the free will theorem is actually very similar to this stronger no-hidden variable theory.

•Aug 26, 2014•0 citations

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 1)

Vasil Pemchev

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.

•Jan 1, 2013•0 citations

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 2)

Vasil Dinev Penchev

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.

•Jan 1, 2013•0 citations
I begin with description of quantum entanglement and its relevance to the EPR-type experiments, which played a decisive role in rejecting determinism and hidden-variable theories. Thereby I prove the closely-related Kochen-Specker paradox, on which also the main object of my paper, the recently published Conway and Kochen’s Free Will Theorem, is founded. It is being shown there, on the basis of three physical axioms, following from the special theory of relativity and quantum mechanics, that if the choice for a particular type of spin 1 experiment is not a function of the information accessible to the experimenters, then its outcome is equally not a function of the information accessible to the particles. Therefor the response of the particles can be seen as free. In conclusion I mention some critical remarks on the theorem, expressed in subsequent responses to the original article.
On the basis of three physical axioms, we prove that if the choice of a particular type of spin 1 experiment is not a function of the information accessible to the experimenters, then its outcome is equally not a function of the information accessible to the particles. We show that this result is robust, and deduce that neither hidden variable theories nor mechanisms of the GRW type for wave function collapse can be made relativistic. We also establish the consistency of our axioms and discuss the philosophical implications.
Introduction The two theories that revolutionized physics in the twentieth century, relativity and quantum mechanics, are full of predictions that defy common sense. Recently, we used three such paradoxical ideas to prove “The Free Will Theorem” (strengthened here), which is the culmination of a series of theorems about quantum mechanics that began in the 1960s. It asserts, roughly, that if indeed we humans have free will, then elementary particles already have their own small share of this valuable commodity. More precisely, if the experimenter can freely choose the directions in which to orient his apparatus in a certain measurement, then the particle's response (to be pedantic—the universe's response near the particle) is not determined by the entire previous history of the universe. Our argument combines the well-known consequence of relativity theory, that the time order of spacelike separated events is not absolute, with the EPR paradox discovered by Einstein, Podolsky, and Rosen in 1935 and the Kochen–Specker Paradox of 1967 (see [5]). We follow Bohm in using a spin version of EPR and Peres in using his set of thirty-three directions, rather than the original configuration used by Kochen and Specker. More contentiously, the argument also involves the notion of free will, but we postpone further discussion of this to the last section of the chapter.
This thesis explores the exact differences between the two most well-known no-hidden variable theories: the Bell theorem and the Kochen-Specker theorem. Furthermore, it tries to place a newer result called `the free will theorem', as developed by John Conway and Simon Kochen, in this context. To compare the Bell and Kochen-Specker theorems a reformulation of the two theorems by David Mermin will be discussed, which turns out to lead to an even stronger no-hidden variable theory. From the discussion of the free will theorem and the critical reactions it has elicited, it will become clear that the free will theorem is actually very similar to this stronger no-hidden variable theory.
The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.
The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.