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

The computer is just a tool. The pencil is also a tool. It's about how you use it.

I try to get rid of people who confidently answer questions about which they don't have any real knowledge.

释义：成败的关键，在于体察民心，施行德政。

当没有人相信你时，你必须相信自己。

最终，我们记住的不是敌人的话语，而是朋友的沉默。

预测未来的最好方式就是创造未来。