Logic and Algebraic Structures in Quantum Computing

Erscheinungsjahr 2016
ISBN: 978-1-107-03339-9
Verlag: Cambridge University Press

Buch, Englisch, Band 45, 356 Seiten, Format (B × H): 157 mm x 235 mm, Gewicht: 729 g

Reihe: Lecture Notes in Logic

Arising from a special session held at the 2010 North American Annual Meeting of the Association for Symbolic Logic, this volume is an international cross-disciplinary collaboration with contributions from leading experts exploring connections across their respective fields. Themes range from philosophical examination of the foundations of physics and quantum logic, to exploitations of the methods and structures of operator theory, category theory, and knot theory in an effort to gain insight into the fundamental questions in quantum theory and logic. The book will appeal to researchers and students working in related fields, including logicians, mathematicians, computer scientists, and physicists. A brief introduction provides essential background on quantum mechanics and category theory, which, together with a thematic selection of articles, may also serve as the basic material for a graduate course or seminar.

Autoren/Hrsg.

Chubb, Jennifer

Eskandarian, Ali

Harizanov, Valentina

Fachgebiete

• Geisteswissenschaften Philosophie Philosophische Logik, Argumentationstheorie
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Naturwissenschaften Physik Quantenphysik

Inhaltsverzeichnis

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.

Über Autor(innen)

Chubb, Jennifer
Jennifer Chubb is a Professor of Mathematics at the University of San Francisco. Her main research areas are mathematical logic and computable structure theory.

Eskandarian, Ali
Ali Eskandarian, a theoretical physicist, is currently Dean of the College of Professional Studies (CPS) and of the Virginia Science and Technology Campus at George Washington University, Washington DC. He holds faculty appointments as Professor at the CPS and at the Department of Physics at the university. He has been a founding member of the groups in astrophysics and quantum computing/information at George Washington, and currently serves as Co-Director of the Center for Quantum Computing, Information, Logic, and Topology. He is a Fellow of the Washington Academy of Sciences and a member of both the American Association for the Advancement of Science (AAAS) and the American Physical Society (APS). He was also the recipient of the JASON Learning 2012 Harry Jack Gray Hercules Award.

Harizanov, Valentina
Valentina Harizanov is a Professor of Mathematics at George Washington University, Washington DC, where she also serves as Co-Director of the Center for Quantum Computing, Information, Logic, and Topology. She is internationally recognized for her research in mathematical logic, particularly in computability theory and computable model theory. Harizanov has published over 60 research papers in peer-reviewed journals and volumes in mathematics and theoretical computer science. She co-published the book Induction, Algorithmic Learning Theory, and Philosophy (2007). She has also co-authored collaborative volumes: the Handbook of Recursive Mathematics (1998), The Expression of Modality (2005) and, most recently, Turing's Legacy: Developments from Turing's Ideas in Logic (2014).