函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
在数学中,提出问题的艺术必须比解决问题更有价值。
Success is not final, failure is not fatal: it is the courage to continue that counts.
The best discoveries come from asking the right questions.
The past is never dead. It's not even past.