The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
人的本性是天生的质朴，善良是王道教化的结果
I’m not perfect, and I don’t claim to be.
The more one loves, the more one suffers, but also the more one lives.
文学的美在于它能够连接我们，让我们在宇宙中感到不那么孤独。
在创造性思维中，从盲目操作到理解的转变至关重要
A real decision is measured by the fact that you’ve taken a new action. If there’s no action, you haven’t truly decided.
The greatest enemy of knowledge is not ignorance, it is the illusion of knowledge.
I'm never going to change so much that people can't recognize me.
在科学中，荣誉归于说服世界的人，而不是首先想到这个想法的人。
"In every story, there is a hidden truth waiting to be discovered."
