The study of mathematics is like air or gravity – it’s everywhere, even if you don’t see it.

It's on the strength of observation and reflection that one finds a way. So we must dig and delve unceasingly.

Natural gas is the bridge fuel that will help us achieve a lower-carbon future.

形式系统的发展彻底改变了我们对数学的理解。

在说某人做了某事时，我们可能也在执行某项行动。

每个圣人都有过去，每个罪人都有未来。