COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
The Bohrification of quantum logicAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Lawrence Ioannou. This is not an official CQC Seminar A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathematical foundation for all of physics. Last year, the speaker with Heunen and Spitters redeveloped and refined these ideas by combining the C-star-algebraic approach to quantum theory with the so-called internal language of topos theory (see arXiv:0709.4364). The goal of the present talk (based on arXiv:0902.3201) is to illustrate our abstract setup through the concrete example of the C-star-algebra M_n© of complex n x n matrices. In our approach, the nondistributive lattice of projections in M_n© (which forms the basis of the traditional quantum logic of Birkhoff and von Neumann) is replaced by a specific distributive lattice, whose elements correspond to ‘Bohrified’ propositions, in the sense that to each classical context it associates a yes-no question (rather than being a single projection, as in standard quantum logic). Distributivity is recovered at the expense of the law of the excluded middle, whose demise is in our opinion to be welcomed, not just in intuitionistic logic in the spirit of Brouwer, but also in quantum logic in the spirit of von Neumann. This talk is part of the CQIF Seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNeuropsychological Rehabilitation Seminars Climate Histories Interdisciplinary Seminar Series Research Seminars - Department of BiochemistryOther talksBP KEYNOTE LECTURE: Importance of C-O Bond Activation for CO2/COUtilization - An Approach to Energy Conversion and Storage Mental Poker A lifelong project in clay: Virtues of Unity Responsible Research and Innovation Lunch- Lent 2018 Current-Induced Stresses in Ceramic Lithium-Ion Conductors An SU(3) variant of instanton homology for webs Protein Folding, Evolution and Interactions Symposium A rose by any other name Single Cell Seminars (November) Direct measurements of dynamic granular compaction at the mesoscale using synchrotron X-ray radiography |