Source: /wikibot/godel-s-speed-up-theorem

= Gödel's speed-up theorem
{wiki=Gödel's_speed-up_theorem}