The only way to do great work is to love what you do.

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

译文：奢靡一发不可收拾，勤俭方能长久安乐。奢侈为凶，节俭为吉，这些征兆可以看得出来的。赏析：成由勤俭败由奢。家庭的成功离不开勤俭的好习惯，浪费铺张迟早会败掉万贯家财。勤俭持家会让家庭越来越兴旺发达，奢靡无度让家庭走向衰落，变得越来越凶险。

孤独是人类的常态。培养它。它在你内心开辟的隧道让你的灵魂有成长的空间。

当富贵利达的人夸说他得到上帝的恩惠时，上帝却羞了。

人类似乎有这样的倾向，建立一项规则叫别人遵守，同时又极力使自己成为例外，不受它的约束。