The λ-calculus is, in essence, a theory of functions and their application.
λ演算本质上是一个关于函数及其应用的理论。
Reading furnishes the mind only with materials of knowledge; it is thinking that makes what we read ours.
创新和技术将是解决我们面临的能源挑战的关键。
51 Pegasi b的发现是天文学的一个转折点,证明了行星可以存在于类似太阳的恒星周围。
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法的:它是关于理解的。
"Don’t try to make life a mathematics problem with yourself in the center and everything coming out equal. When you’re good, bad things can still happen. And if you’re bad, you can still be lucky."
The best leaders are those who empower others to be their best selves.