形式化方法的美在于它们能够提供关于系统行为的绝对保证。

生物学的美在于它的复杂性和它呈现的无尽可能性。

Quality is not a problem; it is a solution.

伟大的公司建立在信任和诚信的基础之上。

The arithmetic of algebraic groups is a central theme in the Langlands program.

译文：不能让智巧劳烦打扰我们的心境，不能让私利拖累我们的自身；把国家的治乱寄托在法术上，把是非的判断寄托在赏罚上。

艺术家必须是神秘的孩子。