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
Lectures on Diffusion Problems and Partial Differential Equationsby S.R.S. Varadhan - 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.
(9406 views)
Theoretical Physicsby W. Wilson - Dutton
The purpose of the present work is to present an account of the theoretical side of physics which, without being too elaborate, will be sufficiently comprehensive to be useful to teachers and students. This volume deals with mechanics and heat.
(10219 views)
Introduction to Spectral Theory of Schrödinger Operatorsby A. Pankov - Vinnitsa State Pedagogical University
Contents: Operators in Hilbert spaces; Spectral theorem of self-adjoint operators; Compact operators and the Hilbert-Schmidt theorem; Perturbation of discrete spectrum; Variational principles; One-dimensional Schroedinger operator; etc.
(9240 views)
Lie Groups in Physicsby G. 't Hooft, M. J. G. Veltman - Utrecht University
Contents: Quantum mechanics and rotation invariance; The group of rotations in three dimensions; More about representations; Ladder operators; The group SU(2); Spin and angular distributions; Isospin; The Hydrogen Atom; The group SU(3); etc.
(15198 views)