QG4 - Loop Quantum gravity, Quantum Geometry, Spin Foams |
Speaker_ |
Flori, Cecilia |
Talk _ |
Kochen-Specker Theorem and Valuations in the language of topos theory |
Abstract _ |
Discussing the possibility of retaining some realist flavour in Quantum Theory by changing the logical structure with which the propositions regarding the values of physical quantities are handeled. In particular we introduce a new kind of valuations (sieved-valued valuations) for Quantum Propositions defined on all operators, showing that such the choice of such a valuation is motivated by the mathematical formalism of Quantum theory itself. |