现代社会让我们焦虑的另一个缘故是，我们除了人类以外没有其它重心。我们是从古至今的第一个无神社会，除了我们自己以外，我们不膜拜任何事物，我们对自己评价极高，为什么不呢，我们把人送上月球，达成了许多不可思议的事，我们习惯崇拜自己。

数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。

人们为了不被他人评判，所以急于评判他人。

We must strengthen international cooperation to jointly address the challenges of energy security and climate change.

哲学在成功时是装饰品，在失意时是避难所，在年老时是供应品。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

朗兰兹纲领是理解数学真理基本本质的框架。

每个项目都是一次新的冒险，一次新的挑战。