Roberto Giuntini

University of Cagliari &

Centro Linceo Interdisciplinare Benaminio Segre

Yes, No, Perhaps: A Logical Introduction to Quantum Computation

22 February 2019, 16:00

Faculdade de Letras de Lisboa

Sala Mattos Romão (Departamento de Filosofia)

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.