Kochen-Specker Theorem for Finite Precision Spin One Measurements

Unsharp spin 1 observables arise from the fact that a residual uncertainty about the actual orientation of the measurement device remains. If the uncertainty is below a certain level, and if the distribution of measurement errors is covariant under rotations, a Kochen-Specker theorem for the unsharp spin observables follows: There are finite sets of directions such that not all the unsharp spin observables in these directions can consistently be assigned approximate truth-values in a non-contextual way.