The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
Beauty is not an end in itself, but the result of a perfect solution to a problem.
唯一真正的天堂是我们已经失去的天堂。
一个组织的可持续性质量决定了其遗产的质量。
The state is the most important institution in human society, and its strength or weakness is the key determinant of a society's success or failure.
沉默可以是一种强大的抵抗形式。
Acting is about finding the truth in the imaginary circumstances.