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.

一个好的抽象是强调重要细节并抑制不重要细节的抽象。

Quality is remembered long after the price is forgotten.

发现的艺术不在于找到新大陆，而在于用新的眼光去看。