Kochen-Specker-Theorem

Das Kochen-Specker-Theorem (KS-Theorem) ist ein Satz aus dem Bereich der Grundlagen der Quantenmechanik, der die Unmöglichkeit eines nicht kontextuellen Modells 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 zuerst 1966 von John Stewart Bell und unabhängig davon ein Jahr später von Simon Kochen und Ernst Specker formuliert und bewiesen.