A good mathematician is lazy, but in a constructive way.

对逻辑形式的研究不仅关乎语言，也关乎世界。

人生的吉福与凶祸，是上天主宰的；人事的毁誉和予夺，是别人操持的；自身的言行和道德，是由我决定的。

我不需要地图，我开辟自己的道路。

I’m positive that in 100 years much of what I take to be true today will be proved to be wrong， maybe even embarrassingly wrong， and I try really hard to identify what it is that I am wrong about today.

I don't care if you're black, white, straight, bisexual, gay, lesbian, short, tall, fat, skinny, rich or poor. If you're nice to me, I'll be nice to you. Simple as that.