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: Nonlinear Physics (Solitons, Chaos, Localization)Nonlinear Physics (Solitons, Chaos, Localization)
by - Universitaet Konstanz
This set of lectures describes some of the basic concepts mainly from the angle of condensed matter / statistical mechanics, an area which provided an impressive list of nonlinearly governed phenomena over the last fifty years.
(5790 views)
Book cover: Harmonic Oscillators and Two-by-two Matrices in Symmetry Problems in PhysicsHarmonic Oscillators and Two-by-two Matrices in Symmetry Problems in Physics
by - MDPI AG
With a degree of exaggeration, modern physics is the physics of harmonic oscillators and two-by-two matrices. Indeed, they constitute the basic language for the symmetry problems in physics, and thus the main theme of this journal.
(1584 views)
Book cover: Random MatricesRandom Matrices
by
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.
(6414 views)
Book cover: Applications of global analysis in mathematical physicsApplications of global analysis in mathematical physics
by - Publish or Perish, inc
The book introduces some methods of global analysis which are useful in various problems of mathematical physics. The author wants to make use of ideas from geometry to shed light on problems in analysis which arise in mathematical physics.
(11295 views)