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.

With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.

君子做学问，是为了完善自己；小人做学问，是为了哗众取宠。

我们使用的词语就像我们穿的衣服。它们可以让我们看起来聪明或愚蠢，善良或残忍，坚强或软弱。

真正的进步发生在我们停止捍卫现状并开始挑战它的时候。