λ演算本质上是一个关于函数及其应用的理论。
在科学中，最重要的不是获得新的事实，而是发现新的思考方式。
The most alluring thing a woman can have is confidence.
The only real failure is the failure to try.
设计不仅仅是外观和感觉，设计关乎它如何运作。
如果我们能找到答案，那将是人类理性的终极胜利 — 那时我们就能洞悉上帝的思想。