思索的背信弃义在于它的幽默独处——”如果有什么事你不能对我诉说，“心上人说。”有什么事情你需要独立思考，那么你还把我放在心上吗?“
最伟大的战斗不是用武器进行的，而是用思想进行的。
海洋不会回报那些过于焦虑、贪婪或急躁的人。一个人应该像海滩一样空虚、开放、无选择——等待海洋的馈赠。
唯一你应该低头看人的时候，就是你在帮助他们站起来的时候。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。