High Quality Content by WIKIPEDIA articles! In quantum mechanics, the Kochen–Specker (KS) theorem is a "no go" theorem proved by Simon B. Kochen and Ernst Specker in 1967. It places certain constraints on the permissible types of hidden variable theories which try to explain the apparent randomness of quantum mechanics as a deterministic model featuring hidden states. The theorem is a complement to Bell`s theorem.