用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
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.
Leadership is about making tough decisions today that will benefit generations tomorrow.
The real art of conversation is not only to say the right thing at the right place but to leave unsaid the wrong thing at the tempting moment.
"There is only one real sin, and that is to persuade oneself that the second-best is anything but the second-best."
永远不要停止学习。世界总是在变化,你必须随之改变。
狐狸为自己提供,但上帝为狮子提供。
I don't mind being wrong, I just don't want to stay wrong.
不幸的人,尤其在美国,如果人们遇见一些社会底层的人,他们被刻薄地形容成“失败者”,“不走运”和“失败者”中间有很大的差别,这表现了四百年的社会演变,我们对谁该为人生负责看法的改变,神不再掌握我们的命运,我们掌握自己的人生。
每个故事都是谎言,但有些谎言比其他谎言更真实。
The big money is not in the buying and selling, but in the waiting.