The metropolis exacts from man as a discriminating creature a different amount of consciousness than does rural life.
变化是不可避免的，你如何应对决定了你的成功。
数学家的工作永远不会真正完成；总有更多的东西需要探索。
只要现在能够停下来休息，那么就立刻停下来休息；如果要等到一切事情都办妥时再停下来，那么这样的时刻永远也不可能等到。
如果你想飞翔，就必须放弃那些拖累你的东西。
我不追随潮流。我创造潮流。
The future of computing lies in the development of systems that can verify their own correctness.