The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
A good mathematician is someone who can see analogies between theorems. A great mathematician is someone who can see analogies between analogies.
一个好的数学家是能看到定理之间类比关系的人。一个伟大的数学家是能看到类比关系之间的类比关系的人。
雅科夫·西奈
人类大脑是进化的产物，人类心智也是如此。
The human brain is a product of evolution, and so is the human mind.
史蒂芬·平克
在科学中听到的最令人兴奋的短语，预示着新发现的，不是“我找到了！”而是“这很有趣...”
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
艾萨克·阿西莫夫
唐虞三代，若何之郅治；秦皇汉武，若何之雄杰；汉唐来之文学，若何之隆盛；康乾间之武功。若何之煊赫！
梁启超
终身的生涯，是在万顷的柔波之上。
冰心
在早期投资中，我们更看重创始人的学习能力和迭代速度，而不是他现有的知识储备。
张颖
地方新闻标题应具有挑逗性，煽动性刺激性。
鲁伯特·默多克
唱歌的时候，我希望能传递正能量。
When I sing, I hope to convey positive energy.
张学友
五年以后还想创业，你再创业上当不是别人太狡猾，而是自己太贪，是因为自己才会上当。
马云
不要害怕思考，因为思考总能让人有所补益。
罗素
任何真实的东西，都始于对可能发生的事情的虚构。因此，想象力是宇宙中最强大的力量，也是一种让你可以变得更好的技能。它是生活中的一种技能，帮助你从其他人忽视的事情中获益。
凯文·凯利
量子世界的奇妙之处，在于它挑战了我们传统的认知边界。
潘建伟
我们对人性的微妙之处有着深刻的认知，自己寻找快乐的点，然后传播给他人，找寻目标与意义。
科林•斯坦利
中的：即使不成功,也不至于空白。《万水千山走遍》中的：世上的欢乐幸福,总结起来只有几种,而千行的眼泪,却有千种不同的疼痛,那打不开的泪结,只有交给时间去解。
三毛
浪漫的本质是不确定性。
奥斯卡·王尔德
说谎说得越来越真诚，最后连她自己也从中得到了安慰。
加西亚·马尔克斯
事业最要紧，名誉是空言。
歌德
最终，我们记住的不是敌人的话语，而是朋友的沉默。
In the end, we will remember not the words of our enemies, but the silence of our friends.
达契娅·马莱伊尼
明月清风同翠幕，夜深人静小窗空。
叶小鸾