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

Publisher: arXiv
Number of pages: 73

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: Lectures on Nonlinear Waves And ShocksLectures on Nonlinear Waves And Shocks
by - Tata Institute Of Fundamental Research
Introduction to certain aspects of gas dynamics concentrating on some of the most important nonlinear problems, important not only from the engineering or computational point of view but also because they offer great mathematical challenges.
Book cover: Random MatricesRandom Matrices
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.
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.
Book cover: Neutrosophic Physics: More Problems, More SolutionsNeutrosophic Physics: More Problems, More Solutions
by - North-European Scientific Publishers
Neutrosophic logics is one of the promising research instruments, which could be successfully applied by a theoretical physicist. Neutrosophic logics states that neutralities may be between any physical states, or states of space-time.