提高的唯一方法就是与最强者对抗。
伟大的领导者不创造追随者,他们创造更多的领导者。
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
The joy of solving a mathematical problem is unparalleled; it is a moment of pure intellectual triumph.