多元化的团队带来多元化的想法，这才是真正创新的地方。
A diverse team brings diverse ideas, and that’s where true innovation happens.
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的：它是关于理解的。
我们拥有的最大资源是人类的聪明才智。
我对自己是谁、做什么非常有信心。
如果我们一直等着别人或以后，改变是不会到来的。我们自己就是我们在等待的人。我们自己就是我们寻求的改变。
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。