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
Mathematical Methods of Physics- Wikibooks
A book on common techniques of applied mathematics that are often used in theoretical physics. It may be accessible to anyone with beginning undergraduate training in mathematics and physics. It is useful for anyone wishing to study advanced Physics.
(13852 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.
(11861 views)
Lectures on Three-Dimensional Elasticityby P. G. Ciarlet - Tata Institute of Fundamental Research
In this book a non-linear system of partial differential equations will be established as a mathematical model of elasticity. An energy functional will be established and existence results will be studied in the second chapter.
(11676 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.
(11681 views)