Physics, Topology, Logic and Computation: A Rosetta Stone(arxiv.org)
arxiv.org
Physics, Topology, Logic and Computation: A Rosetta Stone
http://arxiv.org/abs/0903.0340
4 comments
Yes, This Weeks Finds is brilliant, though not so weekly these days.
Also, on the subject of links between topology and logic - Louis Kauffman has a lot of interesting writings:
http://www2.math.uic.edu/~kauffman/
Also, on the subject of links between topology and logic - Louis Kauffman has a lot of interesting writings:
http://www2.math.uic.edu/~kauffman/
Oh great, now my brain hurts. Does anyone know of any papers mapping cryptography to category theory? It seems that there could be some interesting results of such a thing, even if it is just reasoning about security protocols in terms of string diagrams.
One of the authors, Baez, wrote "Gauge Fields, Knots, and Gravity" a lovely, cheap, and fairly accessible intro to applications of topology in mathematical physics. Worth a glance if you find yourself wondering about all this
http://math.ucr.edu/home/baez/TWF.html