Output details
11 - Computer Science and Informatics
University of Oxford
A Topos for Algebraic Quantum Theory
<10>
What logic best governs programs for quantum computers is unclear. This article constructs innovative new foundations for quantum logic. It rigorously shows how a noncommutative C*-algebra, of readouts of a quantum system, induces a topos in which the amalgamation of its commutative C*-subalgebras comprises a single commutative C*-algebra, essentially turning quantum logic into classical logic. The article has been featured on the popular group weblog The n-Category Cafe and in John Baez's influential weblog, where it is described as "really quite wonderful". It has received substantial interest from quantum computer scientists and mathematicians, and has spawned 20+ subsequent works.