Return to Answer

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual, so the theorem does not apply.

In Bohm's theory, the measurement setup is made of material particles too, and has its own "hidden variables". Thus the key assumption of the theorem is not satisfied, and the theorem result does not apply. Similarly for other possible theories from the class of contextual hidden variable theories (e.g. the "superdeterminism" ideas).

This situation, where some assumption in the no-go theorem is not necessarily satisfied in the hidden variable theory, is quite a typical deficiency of the various past proclamations of universal defeat of all hidden variable theories. There are always assumptions in theorems; if you prove a lot, it's because you assume a lot, and such big assumptions are often not experimentally necessary.

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual, so the theorem does not apply.

In Bohm's theory, the measurement setup is made of material particles too, and has its own "hidden variables". Thus the key assumption of the theorem is not satisfied, and the theorem result does not apply. Similarly for other possible theories from the class of contextual hidden variable theories (e.g. the "superdeterminism" ideas).

This situation, where some assumption in the no-go theorem is not necessarily satisfied in the hidden variable theory, is quite a typical deficiency of the various past proclamations of some theorem defeating all hidden variable theories. There are always assumptions in such theorems; if you prove a lot, it's because you assume a lot, and such big assumptions are often not obvious to be necessary (to get a theory that agrees with experiments).

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual. The measurement setup is made of material particles too, and has its own "hidden variables". Thus the theorem does not rule out Bohm's theory or other possible theories from the class of contextual hidden variable theories (e.g. the "superdeterminism" theories).

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual, so the theorem does not apply.

In Bohm's theory, the measurement setup is made of material particles too, and has its own "hidden variables". Thus the key assumption of the theorem is not satisfied, and the theorem result does not apply. Similarly for other possible theories from the class of contextual hidden variable theories (e.g. the "superdeterminism" ideas).

This situation, where some assumption in the no-go theorem is not necessarily satisfied in the hidden variable theory, is quite a typical deficiency of the various past proclamations of universal defeat of all hidden variable theories. There are always assumptions in theorems; if you prove a lot, it's because you assume a lot, and such big assumptions are often not experimentally necessary.

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual. The measurement setup is made of material particles too, and has its own "hidden variables".

The Kochen-Specker theorem proves that non-contextual hidden variable theories (those where hidden variables are associated with the system only, not with the measurement setup) are not compatible with quantum theory.

Interpretations are not all physical theories, thus one should not expect/require them to be falsifiable. But even those that are also a hidden variable theory, such as the Bohm theory, are not necessarily non-contextual. The measurement setup is made of material particles too, and has its own "hidden variables". Thus the theorem does not rule out Bohm's theory or other possible theories from the class of contextual hidden variable theories (e.g. the "superdeterminism" theories).