Physics – Quantum Physics
Scientific paper
1998-03-20
Physics
Quantum Physics
Clarification of situation for situation for operators with continuous spectra
Scientific paper
The Kochen-Specker theorem asserts the impossibility of assigning values to quantum quantities in a way that preserves functional relations between them. We construct a new type of valuation which is defined on all operators, and which respects an appropriate version of the functional composition principle. The truth-values assigned to propositions are (i) contextual; and (ii) multi-valued, where the space of contexts and the multi-valued logic for each context come naturally from the topos theory of presheaves. The first step in our theory is to demonstrate that the Kochen-Specker theorem is equivalent to the statement that a certain presheaf defined on the category of self-adjoint operators has no global elements. We then show how the use of ideas drawn from the theory of presheaves leads to the definition of a generalized valuation in quantum theory whose values are sieves of operators. In particular, we show how each quantum state leads to such a generalized valuation.
Butterfield Jeremy
Isham Chris J.
No associations
LandOfFree
A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-344215