用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
Sustainability isn't an option; it's our responsibility to the next generation.
创新是半导体行业的命脉；没有创新，我们就无法竞争。
A poem must be an event, not a record of an event.
荒谬是我生活中最喜欢的东西，正是荒谬导致了发现。
只有掌握核心技术，才能掌握自己的命运。
The things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success.
The most difficult thing is the decision to act, the rest is merely tenacity.