形式系統(tǒng)的發(fā)展徹底改變了我們對數(shù)學(xué)的理解。
最終，所有的故事都是關(guān)于尋找意義的。
要理解遞歸，首先必須理解遞歸。
我不是那種會讓我的承諾失效的人。
Writing is a way of life, a way of being in the world.
To say 'I love you' one must first know how to say the 'I'.
路途遙遠才知道馬的力氣，相處長了才了解人心。
If you are looking for something in your house， and you finally find it， when you’re done with it， don’t put it back where you found it. Put it back where you first looked for it.