If you do what you’ve always done, you’ll get what you’ve always gotten.
The internal point of view is crucial for understanding the nature of law.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
真正的数学家始终是学生,永远在学习。