用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
The desires， and other passions of man， in themselves， are in his own power； his real difficulties are， to know when they are to be controlled， and when not.
我做音乐不是为了名声或金钱，而是因为我热爱它。
工资与就业之间的关系并不像某些模型所暗示的那样简单。
我的使命是成为一代人的声音，并改变人们的思维方式。
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.
I’m not afraid to fail, I’m afraid to not try.
时间会对所有交易造成负面影响，有时甚至产生致命影响。一般情况下，等待的时间越久，意料之外的事情就越多。特别是在艰难的谈判中，要让所有人都在谈判桌上协商足够长的时间，以此达成协议。