The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
Faith is the sense of life, that sense by virtue of which man does not destroy himself, but continues to live on.
我不追逐，我吸引。
我写小说，人们说那是自传；我写自传，人们说那是小说。既然我这么笨，他们这么聪明，那就让他们决定是什么或不是什么吧。
“必要”不认识任何的“法律”。
建筑师必须是一位合作者。
A company's true value lies in its people, not just its balance sheet.
The essence of finance is to serve the real economy, not to cycle and inflate itself.