We must always question our assumptions and be willing to revise our theories in light of new evidence.
狐狸为自己提供,但上帝为狮子提供。
自然是无情且不可改变的,它不在乎其隐藏的原因和行为是否能为人类所理解。
我不在乎你怎么想,我这样做是为了我自己。
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.