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.
(10700 views)
Mathematical Physics IIby Boris Dubrovin - 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.
(17115 views)
Random Matricesby B. Eynard - arXiv.org
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.
(10930 views)
The Octonionsby John C. Baez - University of California
The octonions are the largest of the four normed division algebras. The author describes them and their relation to Clifford algebras and spinors, Bott periodicity, projective and Lorentzian geometry, Jordan algebras, and the exceptional Lie groups.
(19796 views)