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

Hustle hard, die empty.

真理的最小原子也代表着某个人艰苦的劳动和痛苦。

【译文】 孔子说：“管理国家要以身做则。如同北极星，安然不动而众星绕之。”

The artist deals with what cannot be said in words.

人们不会使用手持计算器来学习计算，但是却会忘记算术。

We will never run out of things to program as long as there is a single program around.

I have a lot of faith, and I believe in divine timing.