There is no easy walk to freedom anywhere, and many of us will have to pass through the valley of the shadow of death again and again before we reach the mountaintop of our desires.

A woman's guess is much more accurate than a man's certainty.

模型检查是验证硬件和软件系统正确性的强大工具。

艺术不是关于创造美丽的物体，而是关于提出问题并让人们思考。

上帝永远将一切几何化。

There are no dull subjects. There are only dull writers.

我不让失败击垮内心，我让它激发头脑。

朗兰兹纲领是数学思想之美和深度的反映。