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 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.
Wat mensen zeggen - Een review schrijven
We hebben geen reviews gevonden op de gebruikelijke plaatsen.
Adam Brandenburger and H Jerome Keisler
Samson Abramsky and Chris Heunen
Bart Jacobs and Jorik Mandemaker
Overige edities - Alles weergeven
adjoint Artin braid group bi-Heyting algebra Boolean bracket polynomial calculus classical clopen subobjects co-Heyting cobordism Coecke compact closed categories complex numbers composition Computer Science construction context corresponding dagger category dagger compact defined denotes diagram dimensional disjunction effect modules elements empirical model entanglement equivalent example Fibonacci model Figure finite formalism Frobenius algebras given Hence Heyting hidden-variable Hilbert space identity interactions isomorphism Jones polynomial knot sets Kripke lattice Lemma linear map Majorana fermions Mathematical matrix meaning measurement monad monoidal functor negation Neumann algebra non-locality objects observables operational category operational theories particle pregroup presheaf propositions Putnam quantum computing quantum field theory quantum logic quantum systems quantum theory quaternions qubit real numbers representation represented result satisfies self-adjoint semiring sentence strands symmetric monoidal category Temperley-Lieb algebra tensor product Theorem topological quantum field trace ideal unitary transformations University vector space verb von Neumann algebra Yang-Baxter equation