用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。

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 artist must be a servant of the unknown.

安东尼·塔皮埃斯

从未遇到过困难和危险的人不需要任何量。

拉罗什富科

领导力就是做出艰难的决定并坚持到底，即使这些决定不受欢迎。

Leadership is about making the tough decisions and standing by them, even when they're unpopular.

马克·卡蒂

创新不是灵光一现，而是持续不断的积累和突破。

李彦宏

傻气的人，喜欢给心，也许会被人骗，却未必能得到别人的。

徐志摩

在那些热衷于制造爱情的女人的缺点中，制造爱情不过是她们微不足道的缺点。

弗朗索瓦·德·拉罗什富科

I am tomorrow, or some future day, what I establish today. I am today what I established yesterday or some previous day.

我是明天，或未来的某一天，我今天所建立的。我是今天，我昨天或前几天所建立的。

詹姆斯·乔伊斯

在这个世纪里，一切都被知晓，却无一能被理解。

托妮·莫里森

人固有一死，或重于泰山，或轻于鸿毛。

史记

司马迁

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

应对不自由世界的唯一方法是变得绝对自由，以至于你的存在本身就是一种反抗。

阿德里安·派普

Memory is the only paradise from which we cannot be expelled.

记忆是我们唯一不能被驱逐的天堂。

阿西娅·杰巴尔

永远对新事物保持开放的态度。

比尔·盖茨

只有一个老板，那就是顾客。他可以通过把钱花在别处，轻而易举地解雇公司里的任何人，从董事长开始。

There is only one boss. The customer. And he can fire everybody in the company from the chairman on down, simply by spending his money somewhere else.