函数的概念在数学中是基础的,而λ演算提供了一种形式化这一概念的方法。
在我们视野所及中,人类存在的唯一目的,是在纯粹存在的黑暗中燃起一点光亮。
Never, never, never give in!
The joy of discovery is what drives mathematicians forward.
Every book is a journey, and every journey could become a book.