Kochen-Specker theorem for a single qubit using positive operator-valued measures

Adan Cabello

Published 2002-10-11, updated 2003-06-11Version 2

A proof of the Kochen-Specker theorem for a single two-level system is presented. It employs five eight-element positive operator-valued measures and a simple algebraic reasoning based on the geometry of the dodecahedron.