There is no love that’s so right as admiration-based love, and that love should include the instructive dead. Somehow, I got that idea and I lived with it all my life and it’s been very very useful to me.

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

明智而有德行的人在任何时候都愿意为了自己特定阶层或社会的公共利益而牺牲自己的私人利益。

我们不断改进我们的模型以提高性能。

生活中唯一的限制是你为自己设定的限制。