Innovation happens when you stop thinking inside the box and start building a new one.

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

Beauty of whatever kind, in its supreme development, invariably excites the sensitive soul to tears.

译文：在平淡中交往的朋友，往往能长久维持；在平静安稳的环境生活，往往会延年益寿。赏析：君子之交淡如水。真正的朋友是看重对方的人品才交往的。清净养生，喧嚣伤身。安静的生活环境，平和的处事心态，方能益寿延年。

不为热爱工作而只为金钱工作的人，既不太可能赚到钱，也不太可能在生活中找到乐趣。

开始有意识地生活的最佳时机就是现在。