Logic and Algebraic Structures in Quantum Computing

Herausgeber: Chubb, Jennifer; Harizanov, Valentina; Eskandarian, Ali

• Gebundenes Buch

Produktbeschreibung

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 356
• Erscheinungstermin: 19. Januar 2016
• Englisch
• Abmessung: 235mm x 157mm x 25mm
• Gewicht: 731g
• ISBN-13: 9781107033399
• ISBN-10: 110703339X
• Artikelnr.: 44267507

Inhaltsangabe

Preface Jennifer Chubb, Ali Eskandarian and Valentina Harizanov;
Introduction Jennifer Chubb, Ali Eskandarian and Valentina Harizanov; 1. A
(very) brief tour of quantum mechanics, computation, and category theory
Jennifer Chubb and Valentina Harizanov; 2. Could logic be empirical? The
Putnam-Kripke debate Allen Stairs; 3. The essence of quantum theory for
computers William C. Parke; 4. Fiber products of measures and quantum
foundations Adam Brandenburger and H. Jerome Keisler; 5. Operational
theories and categorical quantum mechanics Samson Abramsky and Chris
Heunen; 6. Relating operator spaces via adjunctions Bart Jacobs and Jorik
Mandemaker; 7. Topos-based logic for quantum systems and bi-Heyting
algebras Andreas Döring; 8. The logic of quantum mechanics - take II Bob
Coecke; 9. Reasoning about meaning in natural language with compact closed
categories and Frobenius algebras Dimitri Kartsaklis, Mehrnoosh Sadrzadeh,
Stephen Pulman and Bob Coecke; 10. Knot logic and topological quantum
computing with Majorana fermions Louis H. Kauffman; Index.