In 1967, Manuel Blum developed an axiomatic complexity theory based on his axioms and proved an important result, the so-called, speed-up theorem.
What theorem was implicated by Manuel Blum's axioms?
speed-up theorem