Speaker

Prof. Samson Abramsky,Oxford Unive

　　Title

Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, Complexity, and Natural Language Semantics 

　　Time

   2013.10.9 10:00am   

　　Venue

　　C110

　　Abstract

Quantum Mechanics presents a disturbingly different picture of physical reality to the classical world-view. These non-classical features also offer new resources and possibilities for information processing. At the heart of quantum non-classicality are the phenomena of non-locality, contextuality and entanglement. We shall describe recent work in which tools from Computer Science are used to shed new light on these phenomena. This has led to a number of developments, including a novel approach to classifying multipartite entangled states, and a unifying principle for Bell inequalities based on logical consistency conditions. At the same time, there are also striking and unexpected connections with a number of topics in classical computer science, including relational databases, constraint satisfaction, and natural language semantics.

　　Affiliation