"The best way to predict the future is to invent it."

λ演算是一种表示函数及其应用的形式体系。

伟大的代价是责任。

If you're not stubborn, you'll give up on experiments too soon. And if you're not flexible, you'll pound your head against the wall and you won't see a different solution to a problem you're trying to solve.

好奇心是推动科学发现的引擎。