Abstract

I describe the conceptual problems associated with the Kochen-Specker theorem including the presuppositions of the theorem and plausible interpretations of the conclusions motivated by the theorem. I describe an idealized quantum system which demonstrates both the Kochen-Specker theorem and the Bell argument for nonlocality. I present new findings about the mathematical structures which support a proof of the Kochen-Specker theorem