Monday, November 28, 2016
17:00, FMI (Faculty of Mathematics and Computer Science) Hall 202
Speaker: Roberto Giuntini (University of Cagliari)
Title: Yes, No, Perhaps: A logical introduction to quantum computation
Abstract: Quantum computation has suggested new kinds of logic, which are deeply different both from Boolean logic (the logical background of classical computation) and from multi-valued (fuzzy) logics. The most striking feature of quantum computational logic is the introduction in the realm of ‘pure logic’ of new and physically motivated connectives (gates) that have neither a classical nor a fuzzy-like analogue. In this talk, we will present some of these connectives (in particular, “the square-root of negation” and “the square-root of the identity“) and we will discuss some of their most ‘funny’ and ‘illogical’ properties.