Speaker: Colva Roney-Dougal (St Andrews)
Title: Short Theorems with Long Proofs: Richard Parker and Small Cancellation
Abstract:
In 2009, Richard started working with Steve Linton, Max Neunhöffer and me on algorithms to solve the word problem. We rapidly decided that our goal was, in Richard’s words, to "generalise small cancellation beyond all recognition”. This talk will briefly describe what we did.