Hidden Variables, Non Contextuality and Einstein-Locality in Quantum Mechanics

We discuss the problem of hidden variables and the motivation for introducting them in quantum mechanics. These include determinism, and the problem of meassurement and incompleteness. We first discuss Von-Neumann's imposisbility proof and then analyse it's weakness in terms of Bell's explicit hidden variable model of spin one-half particles. We next discuss Gleason's theorem and Kochen-Specker theorem and bring out the troublems with non contextual hidden variable theories. An important role is played by Einstein locality in the discussion of hidden variable theories as was first brought out by Einstein, Podolsky and Rosen. We elaborate it's various implications such as Bell's theorem in terms of Bell's inequalities as well as later work in which Bell's theorem follows without using inequalities.