Seminários

Seminário do grupo de Óptica e Informação Quântica

Data: Sexta-Feira 17/08/2018, Sala A5-01, 11 am.

Palestrante: Ernesto F. Galvão (UFF)

Título: Multi-system equality from two-system tests and logic

Abstract: I will describe how we can use logic to impose constraints on the probabilities associated with arbitrary Boolean functions of propositions. These logical coherence inequalities were first investigated by George Boole (1854). We use this approach to obtain an inequality corresponding to the conjunction (AND) of n propositions. By taking each proposition to be about the equality of two systems, these inequalities give logical coherence conditions for the joint equality of a number of systems. I will then argue that quantum mechanics violates these inequalities.
This is joint work with Daniel Brod.