形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

真实地生活而不是通过外表现象来显示它。

采矿技术的创新对于满足世界的能源需求至关重要。

我们必定是朝着自己的目标有意识地走了一部分路程，然后在不知不觉中一跃而取得了成功。我们做得最好或最完美的事情，都以经长时间反复练习得到充分掌握为前提，最终在不经意中像树上飘落的树叶一般降临到我们头上。我们最后要做的都在无意识之中完成了。

上帝在他的天堂——世界一切安好！

使生命成为可能的唯一事情是永久且无法忍受的不确定性；不知道接下来会发生什么。