Physics, Topology, Logic and Computation: A Rosetta Stone
by John C. Baez, Mike Stay
Publisher: arXiv 2009
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.
Download or read it online for free here:
Download link
(810KB, PDF)
Download mirrors:
Mirror 1
Similar books
Navier-Stokes Equations: On the Existence and the Search Method for Global Solutionsby Solomon I. Khmelnik - MiC
In this book we formulate and prove the variational extremum principle for viscous incompressible and compressible fluid, from which principle follows that the Navier-Stokes equations represent the extremum conditions of a certain functional.
(12416 views)
The Propagation Of Disturbances In Dispersive Mediaby T.H. Havelock - Cambridge University Press
Table of contents: Simple groups and group velocity; The velocity of light; The Kelvin method for wave groups; Illustrations of group analysis; Action of a prism upon white light; The flow of energy; Propagation of wavefronts with discontinuities.
(7248 views)
Feynman Diagrams and Differential Equationsby Mario Argeri, Pierpaolo Mastrolia - arXiv
The authors review the method of differential equations for the evaluation of D-dimensionally regulated Feynman integrals. After dealing with the technique, we discuss its application in the context of corrections to the photon propagator in QED.
(14508 views)
Solitonsby David Tong - 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.
(12991 views)