The true poet is one who can capture the essence of a moment in a single word, and who can express the inexpressible in a single line.

The most important thing in the programming language is the name. A language will not succeed without a good name. I have always been careful with names I have chosen.

真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。

自己吃饱了应当想到别人的饥饿，身上穿暖了应当想到别人的寒冷，享受安逸应当想到百姓的劳累。

Don't be afraid to be yourself, because everyone is unique.