Kochen-Specker theorem

Today it means: 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". Full definition →