用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
Anyone who keeps the ability to see beauty never grows old.
表演是一种活出自己疯狂的方式。
我们对生命了解得越多，就越意识到我们还有多少尚未发现的东西。
Nolite te bastardes carborundorum.
跨行业合作是释放水产养殖全部潜力的关键。
故事的真正本质不在于它的情节，而在于它唤起的情感。
I’m playing against great players, playing against the best in the world. The competition – that’s what I’ve always wanted.
我们德国人永远不会摆脱希特勒。他就像我们脸上的胎记。
译文：有任何事对着品行正直的人说，是是非非不要听心术不正的人说。赏析：君子做事光明磊落，胸襟宽广，我们值得托付大事，而小人品行不端，无事生非，我们容易误入歧途。
