Skip to main content

Boole's algebra isn't Boolean algebra

Chris Heunen ( University of Oxford )
Boolean algebra governs the logical calculus of observations. But in many applications it doesn't make sense to consider all pairs of observations to be compatible. Rather, the fundamental structures originally studied by Boole are piecewise Boolean algebras. I will present a more practical description of these somewhat unwieldy structures in terms of domains, and discuss examples in computability theory and especially quantum theory, in a way that is accessible to a broad audience of computer scientists, mathematicians and logicians.

Speaker bio

Chris Heunen is an EPSRC Early Career Fellow, and member of the Quantum Group, Department of Computer Science, University of Oxford.

Share this: