形式化方法的美在于它们能够提供关于系统行为的绝对保证。

我们知道世界将不再相同。少数人笑了，少数人哭了，大多数人沉默不语。

The melancholy science from which I make this offering to my friend relates to a region that from time immemorial was regarded as the true field of philosophy, but which, since the latter's conversion into method, has lapsed into intellectual neglect, sententious whimsy, and finally oblivion.

我们都受到过去幽灵的困扰，但由我们决定是让它们困扰我们还是引导我们。

你得到生命这份馈赠，是为了发现你生命中的天赋。你的使命就是找到自己的使命是什么。这不是一个悖论，此乃正道。

所有事情都是可能的，直到它们被证明是不可能的——即使不可能的事情，到目前为止也可能只是如此。