Kochen-Specker theorem

In plain terms

Here is the problem Bell left open. His argument needs two separated particles and statistics gathered over many runs -- so a determined skeptic could hope the trouble was about distance, or about probability. Is there a conflict that needs neither?

Kochen and Specker built one. In three dimensions or more, there is a finite set of measurement directions that cannot be consistently labelled with answers at all. The labels must respect the algebra that the observables themselves satisfy, and no labelling does. Their original construction used 117 directions; the modern record is 18. You can check it with a pencil.

No experiment, no ensembles, no space-like separation. Just a finite combinatorial fact: the answer sheet does not exist, even for one particle, even in principle.

In CSD

CSD is contextual, so this theorem is a constraint it satisfies by construction -- no accommodation needed. What the corpus is genuinely careful about is a tempting misattribution nearby.

The programme's fibre analysis found that at three levels and above the natural base-only constructions stop working, which is why it places contextual content in the fibre above the base -- a judgement against a constraint chain, with the base-only question open in both directions. It would be natural -- and wrong -- to cite Kochen-Specker for that. KS constrains NON- contextual value assignments, and CSD never makes one, so the theorem simply does not engage. The fibre argument comes from covariance plus non-negativity: a different argument, a different shape, and a constraint chain rather than a no-go. The corpus flags the distinction precisely because borrowing this theorem's authority would be such an easy overclaim.

Mathematically

In dimension three and above, no non-contextual assignment of definite values to all observables respects the functional relations among commuting sets. Witnessed by explicit finite vector sets -- 117 originally, 18 in the smallest known.

Dimension two escapes, the same exception that afflicts the original Gleason theorem, and one more instance of the qubit being a misleading guide to the general case.

The name

Simon Kochen, Belgian-born, has spent his career at Princeton -- mostly in model theory and number theory; he later proved the free will theorem with John Conway. Ernst Specker (1920-2011) was Swiss, at the ETH Zurich for his whole career, working in logic and combinatorics.

The publication story is unmatched. Specker published the core idea in 1960 -- in a THEOLOGY journal, Dialectica, framing it through a scholastic debate about whether God could know the answers to unasked questions. The joint theorem followed in 1967 in the Journal of Mathematics and Mechanics. From medieval counterfactuals to a pillar of quantum foundations, via the strangest venue in the subject's bibliography.