用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
If you want something said, ask a man; if you want something done, ask a woman.
品质会被人长久记住，而价格很快就会被遗忘。
The past is not fixed; it shifts with our retelling.
【释义】：一个人如果没有他人的帮助，就难以取得成功；一匹马若缺乏其他马的竞争，就无法快速奔跑；堆积土石成台，没有更多的土便无法增高；池水若缺乏流动与激荡，就会停滞不前。
The study of formal languages and automata is essential for understanding the theoretical underpinnings of computer science.