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.

不是知识，而是学习的行为；不是占有，而是到达的过程，才能带来最大的快乐。

你永远是一个有价值、值得尊敬的人——不是因为任何人这么说，不是因为你成功了，不是因为你赚了很多钱——而是因为你决定相信这一点，没有其他原因。