The notion of a function is fundamental in mathematics, and the λ-calculus provides a way to formalize this notion.
函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
When public speaking, pause frequently. Pause before you say something in a new way, pause after you have said something you believe is important, and pause as a relief to let listeners absorb details.
The way we measure economic success must evolve to reflect the realities of people’s lives.
The best advice I can give anybody is to stay humble and work hard.