函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
"My work is a constant struggle against the power of language."
学习数学的唯一方法就是做数学。
The more you live, the more you learn. The more you learn, the more you realize how little you know.