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