Kochen and Specker: finite obstruction to noncontextual quantum valuations

What changed

Kochen and Specker constructed a finite three-dimensional quantum-observable structure that cannot receive noncontextual values preserving functional relations for compatible measurements, while exhibiting a contrasting two-dimensional classical model.

Scientific scope

Kochen and Specker constructed a finite three-dimensional quantum-observable structure that cannot receive noncontextual values preserving functional relations for compatible measurements, while exhibiting a contrasting two-dimensional classical model. The obstruction concerns assigning noncontextual values to the specified quantum observables while preserving their functional relations, in the relevant dimension. It is not a ban on every hidden-variable theory or a proof about arbitrary classical information. Contextual models, lower-dimensional cases and later finite constructions retain separate treatment.

Evidence

Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.

Contributors

• Simon Kochen · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.
• E. P. Specker · SCIENCE: Original source-listed scientific author of this scoped work; byline does not determine effort fractions.

• Kochen and Specker: finite obstruction to noncontextual quantum valuations — original scientific article
• Kochen and Specker: finite obstruction to noncontextual quantum valuations — publisher deposit

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction