Collaboration in mathematics can lead to discoveries that no single mind could achieve alone.
Every building is a kind of manifesto, a statement about how we should live.
判断两个λ表达式是否等价的问题是无法解决的。
The more you give, the more you receive.
成功不在于你拥有多少资源,而在于你如何利用现有的资源。