Talk:Gödel's speed-up theorem

I'm inclined to break out a bootstrap system that is specifically designed to break this theorem.

Bootstrap systems have the interesting property of altering their axioms during use, which tends to break most limitation theorems. The halting problem still holds given the current laws of physics.