最伟大的旅程不是用里程衡量的，而是用理解衡量的。

语言是存在的家园。

Marriage is a great institution.

The success of any political system depends on its ability to generate legitimacy in the eyes of its citizens.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

打字机要是敲得有感情，并不比你的姐妹或者亲戚弹奏钢琴来的扰人。

数学是模式的科学，而自然利用了几乎所有的模式。

我打球不是为了被记住，而是为了激励他人。