Software is under a constant tension. Being symbolic it is arbitrarily perfectible; but also it is arbitrarily changeable.
数学不仅仅是关于数字、方程、计算或算法:它是关于理解的。