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

Cohomology of Contextuality and Logical Paradoxes

Add to your list(s) Download to your calendar using vCal

  • UserKohei Kishida, University of Oxford
  • ClockFriday 23 January 2015, 16:00-17:00
  • HouseCS 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.