## Embedding a Turing Machine

The idea to embed a Turing Machine in famous problems seems to have popped up a lot in recent years, some examples I’ve noticed :

That last paper does mention Bjorn Poonen’s very interesting essay on the topic of undecidability.