A Refutation of Popular Diagonalization Applications

Disclaimer: The algorithm in this paper has a bug in it.
Lemmas 5.1 - 5.10 are correct and I believe valuable for working with the problem,
but Lemmas 5.11 to 5.19 are incorrect