数学是上帝用来书写宇宙的语言。
Mathematics is the language in which God has written the universe.
你越是对自己的过去和现在负责,就越能创造你想要的未来。
我们所认识的最美丽的人是那些经历过失败、痛苦、挣扎、失落,并找到了走出深渊之路的人。
The metals we mine build civilizations, but the relationships we build define our legacy.
——大总统誓词,1912年1月1日
Quality should never be compromised, even when facing the toughest challenges.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The selfish gene theory is not a theory about selfishness in the everyday sense. It is a theory about the evolution of behavior.