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.

战胜竞争对手的唯一方法，就是停止试图战胜竞争对手。

如果你对一个问题的看法可以从你对另一个问题的看法中预测出来，你已经受制于一种意识形态。实际上当你真正独立地思考一个问题，你的结论无法被预测。

The only thing I can rely on is my own uncertainty.