Emergent rewrites in knot theory and logic

This is a talk in the Conference on Physical Knotting, Vortices and Surgery in Nature.

The slides are here. Slides with no js used are here. Video here:

 

Pure See working draft

is now available at this link. It is a working draft, meaning that: the exposition will  change, there are  (many) missing parts, there are not enough explanations which link to previous work.

I could finish it in a few days, but I think I shall write at a slower pace, which will allow me to weed it better.

At the end it should be as least as usable as lambda calculus (well that’s not very much compared with languages which are widespread), but better in some respects. If you are  a geometer you may like it from a point of view different than lambda calculus.

If you are interested, please use this working draft as main source of information.