"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
The present is the past rolled up for action, and the past is the present unrolled for understanding.
我不会想要跳过7英尺高的障碍：我向四周寻找我可以跨过去的一英尺高的障碍。
The best way to predict the future of chemistry is to invent it.
The meaning of life is contained in every single expression of life. It is present in the infinity of forms and phenomena that exist in all of creation.
故事的力量不在于其长度，而在于其与人类灵魂共鸣的能力。
The city is a shared dream.
In the beginning the Universe was created. This has made a lot of people very angry and been widely regarded as a bad move.
城市是其人民的集体记忆，与记忆一样，它与物体和地方相关联。
【译文】人活一辈子，就像花草树木繁荣，一春一秋，非常短暂。年少时不知道勤学苦读，弹指间就会变成白发老翁。月亮过了十五后光明就会越来越少，人到中年还一事无成，也就不会有大的作为了。
Grief is like the ocean; it comes on waves ebbing and flowing. Sometimes the water is calm, and sometimes it is overwhelming. All we can do is learn to swim.
In the exploration of science, we must not only ask why but also why not.
