As to the gods, I do not know whether they exist or not, nor what they are like in form; for there are many things that hinder sure knowledge, the obscurity of the matter and the shortness of human life.

To write is to live twice.

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

The living moment is everything.

译文：不要和他人争长短与得失，只求自己能增长知识和才干。赏析：我们在与人交往之中，少谈论别人的是非，少和别人争长短。不管是赢了还是输了，有什么用呢。与其和别人争论毫无关系的事情，不如静下心来多读书学习，多反思自己的言行，或许能收获很多知识。

世界上最让我难以理解的就是所得税。

相信自己能做到，你已经成功了一半。