Logo

Physics, Topology, Logic and Computation: A Rosetta Stone

Small book cover: Physics, Topology, Logic and Computation: A Rosetta Stone

Physics, Topology, Logic and Computation: A Rosetta Stone
by

Publisher: arXiv
Number of pages: 73

Description:
With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of 'closed symmetric monoidal category'. We assume no prior knowledge of category theory, proof theory or computer science.

Home page url

Download or read it online for free here:
Download link
(810KB, PDF)

Download mirrors:
Mirror 1

Similar books

Book cover: Group TheoryGroup Theory
by - University of Lund
The text deals with basic Group Theory and its applications. Contents: Abstract Group Theory; Theory of Group Representations; Group Theory in Quantum Mechanics; Lie Groups; Atomic Physics; The Group SU2: Isospin; The Point Groups; The Group SU3.
(15977 views)
Book cover: Mathemathical Methods of Theoretical PhysicsMathemathical Methods of Theoretical Physics
by - Edition Funzl
This book presents the course material for mathemathical methods of theoretical physics intended for an undergraduate audience. The author most humbly presents his own version of what is important for standard courses of contemporary physics.
(10877 views)
Book cover: Random MatricesRandom Matrices
by - arXiv.org
This is an introductory course about random matrices. These notes will give the reader a smell of that fascinating tool for physicists and mathematicians that are Random Matrices, and they can give the envy to learn and search more.
(10793 views)
Book cover: Mathematics for Theoretical PhysicsMathematics for Theoretical Physics
by - arXiv
This is a comprehensive and precise coverage of the mathematical concepts and tools used in present theoretical physics: differential geometry, Lie groups, fiber bundles, Clifford algebra, differential operators, normed algebras, connections, etc.
(14082 views)