形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
如果你不愿意冒险,就永远无法创造出真正非凡的东西。
出自《海国图志》。圣人把天下当作一家,四海的人都是兄弟,所以对远方的人采取怀柔政策,以宾客的礼仪对待外国,这是王者的大度;普遍了解边塞民族的风俗,广泛博览全球风貌,这是智慧之人的远见卓识。
The true meaning of life is to plant trees, under whose shade you do not expect to sit.