Quantum Topology Seminar
Marius Buliga
Institute of Mathematics, Romanian Academy ,Bucuresti, Romania
Zipper logic Revisited
Abstract: Can we compute with Reidemeister moves? A graph rewrite
system over tangle diagrams, with only Reidemeister moves as
rewrites, is not enough to implement lambda calculus. One needs to
allow reconnection moves, which modify the topology, in a controlled
way. I propose to use tangles with zippers. This is a new version of
zipper logic, introduced in the article
https://arxiv.org/abs/1405.6095
Thursday September 24, 2020 at 4:00 PM in Zoom