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.

预言下雨不算什么，建造方舟才算。

解释：看见外表就可以知道内里，看见过去就可以知道未来。

The task of the teacher is to lead the student from the known to the unknown.

We are all prisoners of our own stories, but we can choose how to tell them.

I don’t care what people think of me. I care what I think of myself.

There are no shortcuts in technology, only steady step-by-step progress.

那些让和平革命成为不可能的人将使得暴力革命不可避免。