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
Floer Homology, Gauge Theory, and Low Dimensional Topologyby David Ellwood, at al. - American Mathematical Society
Mathematical gauge theory studies connections on principal bundles. The book provides an introduction to current research, covering material from Heegaard Floer homology, contact geometry, smooth four-manifold topology, and symplectic four-manifolds.
(16189 views)
Elements for Physics: Quantities, Qualities, and Intrinsic Theoriesby Albert Tarantola - Springer
Reviews Lie groups, differential geometry, and adapts the usual notion of linear tangent application to the intrinsic point of view proposed for physics. The theory of heat conduction and the theory of linear elastic media are studied in detail.
(18681 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.
(12127 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.
(7971 views)