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: SolitonsSolitons
by - University of Cambridge
These lectures cover aspects of solitons with focus on applications to the quantum dynamics of supersymmetric gauge theories and string theory. The lectures consist of four sections, each dealing with a different soliton.
(4969 views)
Book cover: Lectures on Integrable Hamiltonian SystemsLectures on Integrable Hamiltonian Systems
by - arXiv
We consider integrable Hamiltonian systems in a general setting of invariant submanifolds which need not be compact. This is the case a global Kepler system, non-autonomous integrable Hamiltonian systems and systems with time-dependent parameters.
(4362 views)
Book cover: Step-by-Step BS to PhD Math/PhysicsStep-by-Step BS to PhD Math/Physics
by - UC Riverside
These are step-by-verifiable-step notes which are designed to help students with a year of calculus based physics who are about to enroll in ordinary differential equations go all the way to doctoral foundations in either mathematics or physics.
(7562 views)
Book cover: Mathematical Physics IIMathematical Physics II
by - SISSA
These are lecture notes on various topics in analytic theory of differential equations: Singular points of solutions to analytic differential equations; Monodromy of linear differential operators with rational coefficients.
(10845 views)