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
Mathematics for the Physical Sciencesby Herbert S Wilf - Dover Publications
The book for the advanced undergraduates and graduates in the natural sciences. Vector spaces and matrices, orthogonal functions, polynomial equations, asymptotic expansions, ordinary differential equations, conformal mapping, and extremum problems.
(48393 views)
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.
(15407 views)
Lie Systems: Theory, Generalisations, and Applicationsby J.F. Carinena, J. de Lucas - arXiv
Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of mapping.
(11753 views)
A Window into Zeta and Modular Physicsby Klaus Kirsten, Floyd L. Williams - Cambridge University Press
This book provides an introduction, with applications, to three interconnected mathematical topics: zeta functions in their rich variety; modular forms; vertex operator algebras. Applications of the material to physics are presented.
(12339 views)