The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras
The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras
The recently developed technique of Bohrification associates to a (unital) C*-algebra A We propose this locale, the 'state space', as a (n intuitionistic) logic of the physical system whose observable algebra is A. We compute a site which externally captures this locale and find that externally its points may be …