最伟大的战斗不是用武器进行的，而是用思想进行的。

The whole problem with the world is that fools and fanatics are always so certain of themselves， and wiser people so full of doubts.

最好的建筑是不需要解释的建筑。

永远不要低估观察的力量——有时最小的细节会带来最大的发现。

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

Life is like a song, with highs and lows, but every part is precious.

爱就是冒着不被爱的风险。希望就是冒着痛苦的风险。尝试就是冒着失败的风险，但必须承担风险，因为人生最大的危险就是什么都不冒险。