Gravity explains the motions of the planets, but it cannot explain who set the planets in motion.
引力解释了行星的运动,但它无法解释是谁让行星运动起来的。
函数的概念在数学中是基础的,而λ演算试图使这一概念精确化。
写作是对遗忘的一种抵抗形式。
The elegance of a mathematical proof is in its simplicity and clarity.