模型检查是验证有限状态并发系统正确性的强大技术。
追求数学知识是一场永无止境的冒险。
说出真相就是革命性的。
The brain is not a computer in the traditional sense, but it does compute.
寻找互反律是数学史上的一个基本主题。
我们必须记住，历史是由胜利者书写的，但记忆却是由失败者保存的。
没有反省的人生不值得活。
做伟大工作的唯一方法就是热爱你所做的事情。
释义：无论是贤能还是平庸的人，一旦进入朝廷就容易遭到嫉妒；无论是美丽还是平常的女子，一旦进入后宫就容易遭受妒忌。
最糟糕的人是那些让别人因为对某事感到兴奋而感到糟糕、愚蠢或愚蠢的人。