Gleason's theorem states that any totally additive measure on the closed su
bspaces, or projections, of a Hilbert space of dimension greater than two i
s given by a positive operator of trace class. In this paper we give a cons
tructive proof of that theorem. (C) 1999 Academic Press.