在小说中，真相往往比事实更可信。

The greatest stories are those that leave us changed.

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

在追求理解的过程中，旅程和目的地同样重要。

最好的企业是解决实际问题的。找到需求并满足它。

Science should serve humanity, not just curiosity.

当人微笑时，世界爱了他。当他大笑时，世界便怕他了。

Data is the new oil, but more valuable than oil is the ability to process data.

It is by no means an irrational fancy that， in a future existence， we shall look upon what we think our present existence， as a dream.

不确定性原理不是我们测量技术的限制，而是自然界的基本属性。