The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
热情是极其真实的东西，一个受过了这种热情的陶冶和锤炼的人，即使到了晚年，也会保持他的心灵上的纯洁。
司汤达
从五更枕席上参看心体，心未动，情未萌，才见本来面日；向三时饮食中谙练世味，浓不欣，淡不厌，方为切实功夫。
陈继儒
The next decade will separate the companies that talk about sustainability from those that actually innovate.
未来十年将把空谈可持续性的公司和真正创新的公司区分开来。
史蒂夫·霍尔斯
The question is, are we happy to suppose that our grandchildren may never be able to see an elephant except in a picture book?
问题是，我们是否乐于假设我们的孙子孙女可能永远无法在大象的图片书之外看到大象？
大卫·阿滕伯勒
The soul is the unity of the manifold of consciousness.
灵魂是意识多样性的统一。
威廉·冯特
不能听命于自己者，就要受命于他人。
弗兰兹·卡夫卡
The beauty of a mathematical proof is in its elegance and the way it reveals the underlying truth in a clear and concise manner.
数学证明的美在于它的优雅以及它以清晰简洁的方式揭示潜在真理的方式。
丹尼尔·斯皮尔曼
如果说我这一生有遗憾的话，那应该是两个，一是这一生没有机会到国外学习深造交流，这对一个科学家来说是很大的遗憾；二是因为工作太忙对孩子们关心不够，没有将他们培养成对国家有所建树的人。
于敏
我就这样一面看水一面想你。
沈从文
写作就像在黑暗中摸索，只有坚持才能找到光明。
佚名
如果你始终把自己看做一个没有长大的孩子，也始终拒绝体验更深刻与广阔的情感，你当然可以这样说，无知的感动与有知的感动是有区别的，就像幼稚与单纯有区别一样。
许知远
生活的唯一方式是接受不可接受的事物。
The only way to live is to accept the unacceptable.
凯尔泰斯·伊姆雷
任何行为，无论是生理上的、精神上的、情绪上的还是头脑中的，只有得到了能量才能产生。
乔治·戴德
在事实面前，不得不相信严格性的力量。人们必须下定决心，哪怕并不情愿，但你我们是时候该严肃认真起来了。
阿曼达·里普利
必须从今天开始培养明天的管理者。
彼得·德鲁克
明朝游上苑，火急报春知；花须连夜发，莫待晓风吹。名言
武则天
平粜各物，关市不乏，治国之道也。
范蠡
毛泽东要把一个落后的农业的中国变成为一个先进的工业化中国，我们面前的工作是很艰苦的，我们的经验是很不够的，因此，必须善于学习。
毛泽东
子曰：“智者乐水，仁者乐山；智者动，仁者静；智者乐，仁者寿。”
【译文】 孔子说：“明智的人喜欢水，仁慈的人喜欢山；明智的人好动，仁慈的人好静；明智的人快乐，仁慈的人长寿。”
孔子