"The future of system design lies in the integration of formal methods with traditional engineering practices."
系统设计的未来在于将形式化方法与传统工程实践相结合。
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
The perimeter of the earth is about 3,000,000 stadia and not greater.
地球的周长约为300万斯塔德，不会更大。
阿基米德
把自己当成天空，无论是乌云还是白云，它们来了就来了，不迎不送。
蓝狮子
词语的力量和由它们所激起的形象之间有着密切的联系，又独立于它们真实的含义。有时候，那些定义最不准确的词语，反倒可以产生最大的影响力。词语的含义会随着时代和种族的不同而有所差异，会随着时代的更迭而发生深刻变化。
古斯塔夫·勒庞
革命的意思就是说，有些人莫名其妙地就会成了牺牲品。
王小波
除了厌倦，一切都令我厌倦。我渴望安宁而不可得。我每天都在吞咽人生，像是在吃药，每日必服的药物。
费尔南多·佩索阿
The best way to be loved is to love.
被爱的最好方法是去爱。
塔莉亚
世道必进，后胜于今。
严复
"Reading is a way of living more lives than the one we have."
阅读是一种方式，让我们体验比我们拥有的更多的生活。
弗朗西斯·斯普福德
我无所事事得厉害，所以感觉到时间的拖泥带水，但是奇怪的是，它虽然来得缓慢，但是去得飞快。当我回头看看的时候，已经记不得昨天做的事情。最主要的原因是我昨天没有做什么事情
韩寒
听人劝，读好书。
罗振宇
真理是在漫长地发展着的认识过程在被掌握的，在这一过程在，每一步的直接继续。
黑格尔
但这是夏日，天气热到一定程度，人会晕眩恍惚，产生幻觉，所以夏日罗曼史是不能认真的，到天气一凉，头脑渐渐清醒，恢复正常，便会后悔，而且大惑不解，一个夏天，怎么发生这许多事。
亦舒
时间如流水，一去不复返，珍惜每一刻。
佚名
某药治某病，病愈即不宜再服。否则药以治病，亦以起病。
钱穆
“好吧，我承认，理想主义是对的，纯粹的学术研究的尊严是对的，对真理的各种表现形式的追求也是对的。但是恐怕到一定的时候，你就会开始怀疑是否真的存在所谓真正的真理。你会怀疑整个无限多维的宇宙背后是由一群疯子操纵。”
道格拉斯·亚当斯
幸福是个人价值的最大发挥。
拿破仑
在数学中，从困惑到清晰的旅程是最有价值的体验。
In mathematics, the journey from confusion to clarity is the most rewarding experience.
弗拉基米尔·沃埃沃德斯基
没有任何一种生活方式是天然带有原罪的。但任何一种长期单一模式的生活，都是在对自己犯罪。
大冰
The streets of Paris have a memory of their own.
巴黎的街道有自己的记忆。
帕特里克·莫迪亚诺