科学不过是常识的极致——观察上严格精确，逻辑上对谬误毫不留情。
Science is simply common sense at its best—that is, rigidly accurate in observation, and merciless to fallacy in logic.
格瓦拉第二次漫游南美前对母亲说
It is not the computer's fault that Maxwell's equations are not adequate to design the electric motor.
做出伟大工作的唯一方法就是热爱你所做的事。
判断两个λ表达式是否等价的问题是无法解决的。
Being busy is a form of laziness—lazy thinking and indiscriminate action.
