追求真理的路上，只有勇者能够坚持到底。

当有人和你讲人类历史的巅峰辉煌之年，即事情走下坡路之前的那段时期，你发现好像总是他们10岁的时候--这是任何人类存在的高峰。

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.

最好的书是读完后仍长久留在你心中的书。

在黑暗中，我们学会寻找光明；在绝望中，我们学会寻找希望。

最伟大的战斗是在我们内心无声的房间里进行的。