Logic And Algebraic Structures In Quantum Computing

  • Author: Jennifer Chubb
  • Co-Author: Ali Eskandarian
  • Co-Author: Valentina Harizanov
  • Publisher: Cambridge University Press
  • ISBN-13: 9781107033399
  • Pages: 354
  • Binding: Hard Binding
  • Year of Pub / Reprint Year: 2016
  • Price UKP: 89.99

Description

About The Author

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

About The Authors

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

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.

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