Can I make a blog post to resurrect the cstheory blog about computational topology? The blog post would be about decision problems in knot theory specifically the unknotting problem and knot recognition.
I would talk about the following
- History of the unknotting problem
- Why it is decidable
- Current approaches
- Implications of solution