算法分析的数学化是计算机科学成熟的标志

在 Knuth 之前，程序设计主要靠经验和直觉。Knuth 证明了算法可以像数学定理一样被精确分析和比较，这标志着计算机科学从"技艺"向"科学"的转变。这种数学化不是为了炫技，而是为了让选择变得可预测、可沟通。