我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
约瑟夫·斯法基斯名人名言哲理格言警句语录 约瑟夫·斯法基斯
市场价格一般都是错误的，正因它们带给的不是关于将来的理性观点，而是带有偏见的观点。
乔治·索罗斯
握手，无言胜有言。有的人拒人千里，握着冰冷冷的手指，就像和凛冽的北风握手。有些人的手却充满阳光，握住它使你感到温暖。
海伦·凯勒
摆脱诱惑的唯一方法是屈服于它。
王尔德
The most important thing is to awaken in the child his own will and ability to create.
最重要的是唤醒孩子自己的意志和创造能力。
鲁道夫·斯坦纳
壮志饥餐胡虏肉，笑谈渴饮匈奴血。
岳飞
对于所有的观点我们都要持有一种怀疑主义，但这种怀疑主义是让我们接受这个世界上存在真理。真正的智慧一定是苏格拉底式的否定，当你认识到自己的知识，这个知识只能让你深深地感到谦卑，你知道得越多，你越觉得自己无知。相反，一个越无知的人，越觉得自己全知。
罗翔
人的生命就像船在海上留下的水痕逐渐淡去，消失在视野之外。
莫泊桑
什么叫“勤快”，就是多跑几次，就是多读几遍。肯多读几遍就是“勤快”，经常“勤快”就是“勤奋”。勤奋不是挑灯夜战，勤奋不是非要有大事做；勤奋就在日常的作业里头，多读几遍短文的小事里头。
管建刚
快乐不是拥有得多，而是计较得少。
快乐唔系拥有得多，而系计较得少。
陈奕迅
中国人的性情是总喜欢调和，折中的。譬如你说，这屋子太暗，须在这里开一个窗，大家一定不允许的。但如果你主张拆掉屋顶，他们就会来调和，愿意开窗了。没有更激烈的主张，他们总连平和的改革也不肯行。那时白话文之得以通行，就因为有废掉中国字而用罗马字母的议论的缘故。
鲁迅
天山鸟飞绝，故人两相忘。
金庸
你改变不了一座山的轮廓，改变不了一只鸟的飞翔轨迹，改变不了河水流淌的速度，所以只是观察它，发现它的美就够了。
克里希那穆提
古人云：修身，齐家，治国，平天下。这是士大夫阶层的人生理想。而今天受高等教育的人才的价值，不仅仅是一个文凭学历符号，更多的是在商业战场上驰骋，用眼光和判断力以及道德和哲学高度实现世俗和理想中人生的价值。
成甲
The synergy between theoretical computer science and applied mathematics has led to breakthroughs that were once thought impossible.
理论计算机科学与应用数学之间的协同作用带来了曾经被认为不可能的突破。
苏布拉·苏雷什
社会的不平等是动荡的根源，只有公平才能带来稳定。
梭伦
当我带着好心情、抽出时间去看一本自己认为不错的书，可结果却是不知所云，我感到极度恼火，真想把这本杂志给吞了。
刘同
从形式上讲，狭义相对论在提出之时还是一个假设理论，但后人用实际的证据和实验的结果证明了这种假设的正确性。换句话说，爱因斯坦是在不具备相对论理念诞生基础的时代，仅凭思想实验和纯逻辑推理，在没有通过观测实证的情况下，推翻了牛顿的绝对时空说，提出了超前的理论。
李善友
I don't let anyone take away my joy.
我不让任何人夺走我的快乐。
玛丽亚·凯莉
The grand agents of nature are, for the most part, invisible to us.
自然界的主要力量大多对我们不可见。
詹姆斯·普雷斯科特·焦耳