形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
埃德蒙·克拉克名人名言哲理格言警句语录 埃德蒙·克拉克
能接受既成事实，这是克服随之而来的任何不幸的第一步，能接受最坏的情况，就能在心理上让你发挥出新的能力。
卡耐基
"Be so good they can't ignore you."
变得如此优秀，以至于他们无法忽视你。
T.I.
贤者举而上之，富而贵之，以为官长；不肖者抑而废之，贫而贱之，以为徒役。
君主对于有才能的贤良之人应当抬举，让他处于尊位，富贵绵长；对于没有能力且无德的人应当废弃，让他贫困低贱，成为受驱使的奴仆。
墨子
在这片贫瘠的土地上，我们种下的不仅是粮食，更是希望。
张大山
我希望自己能够死在火星上——当然不是在进入火星大气层时就摔死。
埃隆·马斯克
真正的幸福源于内心的平静和满足。
约翰·洛克
人活着争什么，不就争个机会吗？
八月长安
无论精神多么独立的人，感情却总是在寻找一种依附，寻找一种归宿。他们现在谁也离不开谁。几天不见面，就心慌意乱，连一般的逻辑思维都会出差错。只要有机会，他们就设法两个人单独呆在一块。无论是谈情说爱，还是进行学术辩论，甚至缄默不语，那都是多么令人愉快啊！
路遥
与其庸碌的活着，不如让生命尽情燃烧、绽放，活下来就是超脱，可以破茧翩翩而上！
辰东
孤独不是因为没有人在身边，而是因为没有人理解你。
托妮·莫里森
有物揩磨金镜净，何人攫银河决。
史达祖
不要欺骗别人，能被你骗到的都是相信你的人。
史蒂夫·乔布斯
One cannot escape the feeling that these mathematical formulas have an independent existence and an intelligence of their own, that they are wiser than we are, wiser even than their discoverers.
人们不禁会感到这些数学公式拥有独立的存在和自己的智慧，它们比我们更聪明，甚至比它们的发现者更聪明。
海因里希·赫兹
一切对财富的过于仔细的关心都散发着贪婪的气味，甚至以一种过于有意的不自然的慷慨去处理钱财，也是不得去费心指挥和关心的。
蒙田
我想，要中国得救，也不必添甚么东西进去，只要青年们将这两种性质的古传用法，反过来一用就够了；对手如凶兽时就如凶兽，对手如羊时就如羊！
鲁迅
"I think of painting as a kind of silent music."
我认为绘画是一种无声的音乐。
理查德·赖特
卡尔认为，网络正在重塑我们的大脑，“网络弱化了我们对信息进行‘深加工’的能力，而这种能力正是支撑我们专注性地获取知识、归纳推理、批判思考，想象以及沉思的关键。”
戴维·温伯格
此事起于贵妃一句无心感叹，终于贵妃的一声轻笑。自始至终，大家都围着贵妃极力兜转，眼中不及其余。
马伯庸
谁要是生活在人群当中，那他就绝对不应该拒绝和谴责任何人——只要这个人是大自然安排和产生的作品，哪怕这个人是一个最卑劣、最可笑的人。我们应该把这样一个人视为既成的事实和无法改变：这个人遵循一条永恒的、形而上的规律，只能表现出他的这个样子。
叔本华