The notion of a function is fundamental in mathematics, and the λ-calculus is an attempt to make this notion precise.
函数的概念在数学中是基础的，而λ演算试图使这一概念精确化。
生活是一份礼物，它赋予我们特权、机会和责任，通过变得更多来回报一些东西。
语言中最具破坏性的一句话是：“我们一直都是这样做的。”
You can't let praise or criticism get to you. It's a weakness to get caught up in either one.
数学是给不同事物起相同名称的艺术。
Integrity is the foundation of an enterprise, losing it means losing everything.