The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
The first concept of continental drift came to me as far back as 1910, when considering the map of the world, under the direct impression produced by the congruence of the coastlines on either side of the Atlantic.
大陆漂移的第一个概念早在1910年就出现在我脑海中，当时我在看世界地图，受到大西洋两岸海岸线吻合的直接印象影响。
阿尔弗雷德·魏格纳
有那么一群能力超群的经纪人，总是让你感觉他们有无穷无尽的投资猛料，我的建议是远离这些人，除非你是庄家。
查理·芒格
我的臣民须以祖国为重，背叛者无处容身；忠诚是帝国的血脉，叛乱是其毒药。
彼得大帝
归根究底来说，除了是否能够留传长久以外，并无测试文学优劣的标准，而留传本身又只能当作多数人意见的索引而已。
乔治·奥威尔
心是一个孤独的猎人，它将永远如此。
The heart is a lonely hunter, and it will always be so.
达蒙·加尔古特
You are beautiful no matter what they say.
无论别人怎么说，你都是美丽的。
克里斯蒂娜·阿奎莱拉
To understand the mind, study its operations in real life.
要理解心灵，就要研究它在现实生活中的运作。
马克斯·维斯塔潘
在人工智能与儒家伦理的对话中，我们发现的不是对立，而是‘仁者爱人’的现代技术回响。
张思远
冬是孤独，夏是离别，春是两者之间的桥梁，惟独秋，渗透所有的季节。
阿多尼斯
普天之下唯一能够影响他人的方式，就是找出他们想要什么，并且教给他们如何获得。
卡耐基
The most innovative solutions often come from diverse perspectives.
最具创新性的解决方案往往来自多元化的视角。
奇普·伯格
我们理解所有的人，因为已经进行了四十代人，还要延续一百代人的艰难奋斗中，永远保持理智却是是一个奢求。但也请所有人记住我们，站在这里的五千多人，既有联合政府的最高执政官，也有普通的列兵，是我们把信念坚持到了最后。我们都知道自己看不到真理被证实的那一天，如果人类得以延续万代，以后所有的人将在我们的墓前撒下自己的眼泪，这颗叫地球的行星，就是我们永恒的纪念碑！
刘慈欣
9.若想激怒对方，你只需以激烈的批评作为武器；即使那批评合情合理，对方都可能会记恨终生。
卡耐基
他不承认自己和妻子的矛盾源于家中压抑的气氛，而是认为那源于婚姻本身的性质：一项荒谬的，只能靠上帝的无限仁慈才得以存在的发明。两个几乎完全互不了解的人，没有任何血缘关系，性格不同，文化不同，甚至性别不同，却突然间不得不承诺生活在一起，睡在同一张床上，分享彼此也许注定有所分歧的命运，这一切本身就是完全违背科学的。
加西亚·马尔克斯
写作的行为是对存在混乱的反抗。
"The act of writing is an act of rebellion against the chaos of existence."
彼得·纳达斯
Thoughts pass in my mind like flocks of lucks in the sky.I hear the voice of their wings.
思想掠过我的心上，如一群野鸭飞过天空。我听见它们鼓翼之声了。
泰戈尔
他的智慧就是：保持醒觉，是为了睡得好。确实，如果生存并无意义而我又必须选择无意义，那么，对我说来，这也是最值得选择的无意义了。
尼采
人生总是不会一帆风顺，但总是要乐观的活下去。
谢霆锋
人生没退路，拼命冲才有未来。
雷军