Abramsky on Concurrency
March 14th, 2007 by WaltDavid Corfield highlights two articles by Samson Abramsky: one on Temperley-Lieb algebras and the other on concurrency.
The concurrency article, What are the fundamental structures of concurrency? We still don’t know!, discusses the profusion of formalisms for representing concurrency. Abramsky passes on the following anecdote:
The mathematician André Weil apparently compared finding the right definitions in algebraic number theory — which was like carving adamantine rock—to making definitions in the theory of uniform spaces (which he founded), which was like sculpting with snow.
March 14th, 2007 at 10:24 pm
Yay for Temperley-Lieb categories. I’m actually going to be describing their representation theory on Saturday in Ohio, if any of your readers (or you!) will be there. Of course, this is all as maybe if my comment gets eaten again.
March 15th, 2007 at 8:45 am
Didn’t you know? Half of our spam is about Temperley-Lieb categories. You can buy them on the internet for 5 bucks a pop.