Kochen-Specker theorem
properNoun
—
(quantum mechanics) A no-go theorem that places certain constraints on the permissible types of hidden-variable theories that try to explain the apparent randomness of quantum mechanics as a deterministic model featuring hidden states. It demonstrates the impossibility that quantum-mechanical observables represent "elements of physical reality".