The problem of deciding whether two λ-expressions are equivalent is unsolvable.
判断两个λ表达式是否等价的问题是无法解决的。
Failure is interesting—it’s part of making progress. You never learn from success, but you do learn from failure.
我们在爱情中都是傻瓜。
Success in business comes from understanding people, not just products.
理解代数簇的算术就是理解其中隐藏的对称性。
I'm interested in all kinds of pictures, however they're made.