恨也罢,爱也罢,思想、感觉、观察也罢,无非都是在领悟。
非暴力是人类拥有的最伟大的力量。
"To write is to explore the unknown territories of the human soul."
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.