Talk:Gödel's speed-up theorem
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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.