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.
(9431 views)
Introduction to Quantum Integrabilityby A. Doikou, S. Evangelisti, G. Feverati, N. Karaiskos - arXiv
The authors review the basic concepts regarding quantum integrability. Special emphasis is given on the algebraic content of integrable models. A short review on quantum groups as well as the quantum inverse scattering method is also presented.
(9977 views)
Lecture Notes on Quantum Brownian Motionby Laszlo Erdos - arXiv
Einstein's kinetic theory of the Brownian motion, based upon water molecules bombarding a heavy pollen, provided an explanation of diffusion from the Newtonian mechanics. It is a challenge to verify the diffusion from the Schroedinger equation.
(9466 views)
Lectures on the Singularities of the Three-Body Problemby C.L. Siegel - Tata Institute of Fundamental Research
From the table of contents: The differential equations of mechanics; The three-body problem : simple collisions (The n-body problem); The three-body problem: general collision (Stability theory of solutions of differential equations).
(9402 views)