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.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
Commercial success can be a form of art.
Games are not just entertainment; they can also be a form of artistic expression.
音乐是唯一让我觉得有意义的东西。
真相往往隐藏在最小的细节中。