形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)行為的絕對(duì)保證。
A writer's duty is not just to tell stories, but to unveil the truths hidden beneath the surface of everyday life.
盡人事，聽天命，心態(tài)平和最重要。 ?
我不讓未來(lái)定義我，我讓它磨礪我。
幸福不是理性的理想，而是想象力的理想。
事情過后議論別人，身在局外議論局內(nèi)人，是做學(xué)問的人最容易犯的毛病。在事后議論別人，往往將聰明人說(shuō)得極其愚笨；身在局外議論局內(nèi)的人，往往將困難的事情說(shuō)得極其容易，這兩種毛病都是由待人不忠誠(chéng)、不寬容而引起的。
True leadership is about making tough decisions today that will benefit generations tomorrow.