存在一个完全可计算谓词 
使得对于任何计算 
且运行时间为 
的算法，都存在另一个计算 
的算法，其 计算时间 为 
。
这意味着对于谓词 
，不存在即使是近似最优的算法。
布卢姆加速定理
参见
计算时间使用 Wolfram|Alpha 探索
参考文献
Blum, M. "A Machine-Independent Theory of the Complexity of Recursive Functions." J. ACM 14, 322-336, 1967.Seiferas, J. I. and Meyer, A. R. "Characterization of Realizable Space Complexities." Ann. Pure Appl. Logic 73, 171-190, 1995.在 Wolfram|Alpha 中被引用
布卢姆加速定理引用此条目为
韦斯stein, Eric W. "布卢姆加速定理。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/BlumsSpeed-UpTheorem.html