---

In the following video, I read a rhyming poem about a popular part of computability theory, the Halting Problem.