The λ-calculus is not merely a formalism but a language in which computations can be expressed.
λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。
释义：内心纷杂不净，难以领悟真理；意志不坚定，难以成就功业。
你必须对自己所做的事情充满热情，否则就不值得去做。
Collaboration across industries is key to solving environmental challenges.
——《在东京留日三团体欢迎会的演说》（1913年3月1日）
别让你的梦想只是梦想。
The only way to discover the limits of the possible is to go beyond them into the impossible.
软件的复杂性是一个本质属性，而不是偶然的。