函数的概念在数学中是基础的，而λ演算提供了一种形式化这一概念的方法。

爱不是占有，而是欣赏。

The telling of beautiful untrue things, is the proper aim of Art.

The meaning of our existence is not invented by ourselves, but rather detected.

我的目标很简单。那就是完全理解宇宙，为什么它是这样的，以及它为什么存在。

Art is love, love is art.

不要为成功而努力，要为做一个有价值的人而努力。