The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
你不必完美，只要真实。
The Erdős discrepancy problem fascinated me because it was so simple to state yet so deep in its implications.
Buying tools: Start by buying the absolute cheapest tools you can find. Upgrade the ones you use a lot. If you wind up using some tool for a job， buy the very best you can afford.
催化不仅仅是让反应更快，而是让反应更好。
我不会逃避挑战，我会迎向它们。
I profess both to learn and to teach anatomy, not from books but from dissections.