Logic and Algebraic Structures in Quantum ComputingJennifer Chubb, Ali Eskandarian, Valentina Harizanov Cambridge University Press, 26 feb 2016 - 356 pagina's 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. |
Inhoudsopgave
Jennifer Chubb and Valentina Harizanov | 8 |
Allen Stairs | 23 |
Parke | 42 |
Adam Brandenburger and H Jerome Keisler | 71 |
Samson Abramsky and Chris Heunen | 88 |
Bart Jacobs and Jorik Mandemaker | 123 |
Overige edities - Alles bekijken
Logic and Algebraic Structures in Quantum Computing Jennifer Chubb,Ali Eskandarian,Valentina Harizanov Gedeeltelijke weergave - 2016 |
Veelvoorkomende woorden en zinsdelen
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