The greatest enemy of knowledge is not ignorance, it is the illusion of knowledge.
作家最伟大的工具不是笔,而是通过他人的眼睛看世界的能力。
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.