有时候，成长中最难的部分是意识到自己并非想象中的那个人。

形式系统的发展彻底改变了我们对数学的理解。

The greatest obstacle to being heroic is the doubt whether one may not be going to prove one's self a fool; the truest heroism is to resist the doubt; and the profoundest wisdom, to know when it ought to be resisted, and when to be obeyed.

过去从未死去。它甚至还没有过去。

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