凡是存在的事物就天然具有合理性。

People always say that you can't please everybody. I think that's a cop-out. Why not attempt it?

The best way to escape from a problem is to solve it.

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.

努力工作，无论你做多少，都只是成功方程式的一部分。