Proper noun
Kochen-Specker theorem
(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 of quantum-mechanical observables representing "elements of physical reality".