The only true wisdom is in knowing you know nothing.
唯一真正的智慧在于知道你一无所知。
The art of doing mathematics consists in finding that special case which contains all the germs of generality.
You can't manage what you don't measure.
λ演算本质上是一种纯粹抽象的函数理论。
我希望被人们记住为一个充满热情的艺术家。
自然界的法则是智慧的根本。
能源行业不仅仅是石油和天然气,更是推动人类进步的动力。