The λ-calculus is a formalism for representing functions and their application.
λ演算是一种表示函数及其应用的形式体系。
To do mathematics is to engage in an act of creation and discovery simultaneously.
对付一个不自由的世界，唯一的方法就是变得如此绝对自由，以至于你的存在本身就是一种反叛。
音乐是我无法言语时的声音。
You find out who your real friends are when you're involved in a scandal.
The value of art is not in its technique, but in its truth.
可持续性不是一种趋势，而是我们对后代的责任。