有两种情况，创造的圣洁之美变得耀眼夺目，它们同时发生。一种是我们感到自己对世界的不足，另一种是我们感到世界对我们的不足。
"There are two occasions when the sacred beauty of Creation becomes dazzlingly apparent, and they occur together. One is when we feel our mortal insufficiency to the world, and the other is when we feel the world's mortal insufficiency to us."
Mathematics is the art of turning complexity into clarity.
史记
An understanding of the natural world and what's in it is a source of not only a great curiosity but great fulfillment.
我们都是小虫。但我是发着光的小虫。
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
Sometimes you have to lose yourself to find yourself.
计算机科学家的真正价值在于他们能够看到看不见的东西并解决无法解决的问题。