We're not afraid of the future, we're not afraid of the past.
数学研究是一场没有终点的旅程。
λ演算本质上是一个关于函数及其应用的理论。
The most exciting moments in mathematics are when you see connections between things that seemed unrelated before.