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.

最大的幸福就是蔑视那些应当被蔑视的事物。

Believe in yourself and all that you are. Know that there is something inside you that is greater than any obstacle.

在数学中，就像在生活中一样，最优雅的解决方案往往来自于对问题的深刻理解。

传记作者的挑战在于既要成为侦探，又要成为诗人。

The more you praise and celebrate your life, the more there is in life to celebrate.

有机体不仅学会做什么，还学会什么导致什么。