A proof is a device for convincing someone else that a mathematical statement is true.
Science is not about finding absolute truths, but about constantly pushing the boundaries of our understanding.
写作是对抗遗忘的一种抵抗行为。
决定你生活中的主要明确目标,然后围绕它组织你所有的活动。
λ演算本质上是一种纯粹抽象的函数理论。
When somebody hits you, hit back harder.