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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
In string theory, all particles are vibrations of a tiny supersymmetric string.
"I think that the best work comes out of the necessity to do it, not the desire to do it."
The man who does not value himself, cannot value anything or anyone.
【译文】树应该遗憾自己的枝上长不出叶子,不要抱怨太阳偏心眼。人的一切都是命中注定的,一星半点也由不得自己。