使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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 probably not important to mathematics.
一个人固守道德而不能发扬光大，信仰主张又不能坚定不移，这种人有他不能算有，没有他不能算无。
I decided, very early on, just to accept life unconditionally; I never expected it to do anything special for me, yet I seemed to accomplish far more than I had ever hoped. Most of the time it just happened to me without my ever seeking it.
没有比真理更高的神。
我不相信类型转换。每个角色都是探索新事物并挑战自己作为演员的机会。