Logic and algebraic structures in quantum computing /

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Chubb, Jennifer (Editor ), Eskandarian, Ali (Editor ), Harizanov, Valentina S. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2016.
Colección:Lecture notes in logic.
Temas:
Quantum computing > Mathematics.
Logic, Symbolic and mathematical.
Algebra, Abstract.
Informatique quantique > Mathématiques.
Logique symbolique et mathématique.
Algèbre abstraite.
COMPUTERS > General.
Algebra, Abstract
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Tabla de Contenidos:
  • A (very) brief tour of quantum mechanics, computation, and category theory
  • Could logic be empirical? The Putnam-Kripke depate
  • The essence of quantum theory for computers
  • Fiber products of measures and quantum foundations
  • Operational theories and categorical quantum mechanics
  • Relating operator spaces via adjunctions
  • Topos-based logic for quantum systems and bi-Heyting algebras
  • The logic of quantum mechanics
  • Take II
  • Reasoning abou meaning in natural language wiwth compact closed categories and Frobenius algebras
  • Knot logic and topological quantum computing with Majorana fermions.

Ejemplares similares