The λ-calculus is, in essence, a purely abstract theory of functions.
λ演算本质上是一种纯粹抽象的函数理论。
翻译：强调知识对于改变事物形态的重要性。
你停止尝试变得更好的那一刻就是你开始变得更糟的那一刻。
科学是国家的最高化身，因为那个国家将保持领先，它将思想和智慧的工作推向最远。
好建筑的检验标准是当你在里面时的感受。
Success is the ability to go from one failure to another with no loss of enthusiasm.
我们必须通过文学来理解我们的历史。
Growth should never come at the expense of quality or ethics.