Scooping the Loop Snooper: Proof That the Halting Problem Is Undecidable (2000) 7 years ago
There is a general theorem that says that for any computation, you can write a program that executes that computation on its own source code. The quine is only a special case.