You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 21 of 263 in the submission

Article title

A Topos for Algebraic Quantum Theory

Type

D - Journal article

DOI

10.1007/s00220-009-0865-6

Title of journal

Communications in Mathematical Physics

Article number

Volume number

291

Issue number

First page of article

ISSN of journal

0010-3616

Year of publication

2009

URL

http://link.springer.com/article/10.1007/s00220-009-0865-6

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract