On the connection between the theorems of Gleason and of Kochen and Specker

Karl-Peter Marzlin, Taylor Landry

Published 2014-11-17Version 1

We examine the logical connection between the theorems of Gleason and of Kochen and Specker by presenting a proof method that can be applied to both theorems. The method is fairly elementary and results in an infinite set of linear equations. In the case of Gleason's theorem the full set has to be solved using Fourier transformation, while for the Kochen-Specker theorem it can be reduced to a finite set.