最好的想法来自挫折。最糟糕的是当一切都完美的时候。

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

译文：男人有钱财时，妻子就会享受富贵，丈夫没有能力，妻子也会跟着受罪。赏析：男人是家庭的顶梁柱，应该承担起应有的担当和责任。我们不能奢求大富大贵，至少要能糊口养家。钱不是万能的，但没有钱妻儿也会跟着受罪遭殃。我们应该用正当合法的手段去搞钱，让家人过上幸福的日子。一个女人可以接受男人一时的贫穷，但不能忍受男人永久的无能。

想大事，想长远。最大的风险是不承担任何风险。

数学中最令人兴奋的时刻是当你发现一些隐藏在显而易见之处的东西。

所有才能中最有价值的是能用一句话时绝不用两句话。