Abstract

In the present paper we give a precise definition of a hidden-variable theory for quantum mechanics, whereby we adopt the weakest possible definition of a hidden-variable theory, which is compatible with the assumption that the bounded observables of a quantum mechanical system are represented by the elements of the real part Ar of a W*-algebra A (of the most general type) and the states are represented by the “normal states” (in the mathematical sense) of A. We then go on to show that an example put forward by Bell in 1966 satisfies our definition (Sec. 2). Finally we make use of Bell's famous theorem to show that for a sufficiently non-commutative W*-algebra A no hidden-variable theory in our sense exists (Theorem 3.3 and its corollaries)