A Constructive Proof of Gleasonʹs Theorem

Gleasonʹs theorem states that any totally additive measure on the closed subspaces, or projections, of a Hilbert space of dimension greater than two is given by a positive operator of trace class. In this paper we give a constructive proof of that theorem.