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: Lectures on Diffusion Problems and Partial Differential EquationsLectures on Diffusion Problems and Partial Differential Equations
by - Tata Institute of Fundamental Research
Starting from Brownian Motion, the lectures quickly got into the areas of Stochastic Differential Equations and Diffusion Theory. The section on Martingales is based on additional lectures given by K. Ramamurthy of the Indian Institute of Science.
(8371 views)
Book cover: Tensor Techniques in Physics: a concise introductionTensor Techniques in Physics: a concise introduction
by - Learning Development Institute
Contents: Linear vector spaces; Elements of tensor algebra; The tensor calculus (Volume elements, tensor densities, and volume integrals); Applications in Relativity Theory (Elements of special relativity, Tensor form of Maxwell's equations).
(12114 views)
Book cover: Lecture Notes on Mathematical Methods of Classical PhysicsLecture Notes on Mathematical Methods of Classical Physics
by - arXiv
Topics include Lagrangian Mechanics, Hamiltonian Mechanics, Hamilton-Jacobi Theory, Classical Field Theory formulated in the language of jet bundles, field theories such as sigma models, gauge theory, and Einstein's theory of general relativity.
(8152 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.
(14960 views)