数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.
征服恐惧的最好方法就是直面它。
"The dead are not dead until they are forgotten."
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.