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

"The beauty of literature lies in its ability to connect us, to make us feel less alone in the universe."

任何政治制度的成功都取决于其提供繁荣和正义的能力。

The right way to think is the way Zeckhauser plays bridge. It’s not that he’s so smart that he always knows the right answer. He just plays the odds better.

Inflation is a very bold idea, but it seems to be the only way to explain the observed features of the universe.

The most important property of a program is whether it accomplishes the intention of its user.