FMI/IMAR Logic Seminar Special Talk – Roberto Giuntini

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.