λ演算的基本概念是函数,被视为一种对应规则。
科学不是民主。它是独裁。重要的不是人们相信什么,而是可以通过实验证明什么。
The best ideas often come from unexpected places.
Success is not final, failure is not fatal: It is the courage to continue that counts.
我不认为你对自己的行善能力有任何洞察,除非你对自己的邪恶能力有一些成熟的洞察。
Trees are the earth's endless effort to speak to the listening heaven.
True understanding comes from seeing connections between seemingly unrelated ideas.