Topos quantum logic and mixed states
The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distrib...
| Main Author: | |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2011
|
| Subjects: |
| _version_ | 1797078235588067328 |
|---|---|
| author | Döring, A |
| author_facet | Döring, A |
| author_sort | Döring, A |
| collection | OXFORD |
| description | The topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach. |
| first_indexed | 2024-03-07T00:29:11Z |
| format | Journal article |
| id | oxford-uuid:7f2cf1e2-f00e-4131-92a8-8c7ecdf1dd28 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T00:29:11Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:7f2cf1e2-f00e-4131-92a8-8c7ecdf1dd282022-03-26T21:15:07ZTopos quantum logic and mixed statesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7f2cf1e2-f00e-4131-92a8-8c7ecdf1dd28Quantum theory (mathematics)ComputingEnglishOxford University Research Archive - Valet2011Döring, AThe topos approach to the formulation of physical theories includes a new form of quantum logic. We present this topos quantum logic, including some new results, and compare it to standard quantum logic, all with an eye to conceptual issues. In particular, we show that topos quantum logic is distributive, multi-valued, contextual and intuitionistic. It incorporates superposition without being based on linear structures, has a built-in form of coarse-graining which automatically avoids interpretational problems usually associated with the conjunction of propositions about incompatible physical quantities, and provides a material implication that is lacking from standard quantum logic. Importantly, topos quantum logic comes with a clear geometrical underpinning. The representation of pure states and truth-value assignments are discussed. It is briefly shown how mixed states fit into this approach. |
| spellingShingle | Quantum theory (mathematics) Computing Döring, A Topos quantum logic and mixed states |
| title | Topos quantum logic and mixed states |
| title_full | Topos quantum logic and mixed states |
| title_fullStr | Topos quantum logic and mixed states |
| title_full_unstemmed | Topos quantum logic and mixed states |
| title_short | Topos quantum logic and mixed states |
| title_sort | topos quantum logic and mixed states |
| topic | Quantum theory (mathematics) Computing |
| work_keys_str_mv | AT doringa toposquantumlogicandmixedstates |