University of Birmingham > Talks@bham > Theoretical computer science seminar > Cohomology of Contextuality and Logical Paradoxes

## Cohomology of Contextuality and Logical ParadoxesAdd to your list(s) Download to your calendar using vCal - Kohei Kishida, University of Oxford
- Friday 23 January 2015, 16:00-17:00
- CS 245.
If you have a question about this talk, please contact Paul Levy. Contextuality is a key feature of quantum mechanics that provides distinct computational resource for quantum computation. Contextual phenomena are, however, found in many other fields as well, and the sheaf-theoretic framework of Abramsky and Brandenburger (2011) gives a unifying treatment of contextuality in various subjects. In this talk, I will introduce a kind of logic that may be called “contextual logic”, and show that an equational theory in this logic (that generalizes a type of argument used in quantum foundations) characterizes the same class of contextual models as characterized by cohomology in the sheaf framework. I will moreover show that this framework can also be applied to a logical phenomenon that has not previously been considered to be of contextual nature—- namely, logical paradoxes. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- CS 245
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsGeometry and Mathematical Physics seminar Type the title of a new list here Algebra Reading Group on Sporadic Groups## Other talksTBC Quantum Sensing in Space Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA TBA TBA |