λ演算本质上是一个关于函数及其应用的理论。

As Will Rogers would have said, "There is no such thing as a free variable."

He who refuses to do arithmetic is doomed to talk nonsense.

In computer architecture, the only constant is change.

Better to hunt in fields, for health unbought, than fee the doctor for a nauseous draught.

The true joy of mathematics lies in the act of discovery, not just the result.