e/Kochen-Specker theorem

Information
has gloss	eng: 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 theory featuring hidden states. The theorem is a complement to Bell's theorem.
lexicalization	eng: Kochen-Specker theorem
lexicalization	eng: Kochen–Specker theorem
instance of	c/Physics theorems

Meaning
German
has gloss	deu: Das Kochen-Specker-Theorem (KS-Theorem) ist ein Satz aus dem Bereich der Grundlagen der Quantenmechanik, der die Unmöglichkeit eines nicht kontextuellen Modelles mit verborgenen Variablen der Quantenmechanik beweist. Neben der Bell'schen Ungleichung ist es das wohl zweitbekannteste so genannte "No-Go-Theorem" (Unmöglichkeitsbeweis) über verborgene Variablen in der Quantenmechanik. Das KS-Theorem wurde in seiner ursprünglichen Form von Simon Kochen und Ernst Specker im Jahre 1967 formuliert .
lexicalization	deu: Kochen-Specker-Theorem