The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
抽象的目的不是模糊，而是创建一个新的语义层次，在这个层次上可以绝对精确。
讽刺是一种向权力说真话的方式。
The best leaders are those who listen more than they speak.
λ演算本质上是一种纯粹抽象的函数理论。
Science is the tool with which we unravel the mysteries of life.
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.