On choosing friends: "Life's too short to hang out with people who aren't resourceful."
The test of our progress is not whether we add more to the abundance of those who have much; it is whether we provide enough for those who have too little.
形式系统的发展彻底改变了我们对数学的理解。
在真实与不真实之间，在真与假之间，没有严格的区别。一件事不一定是非真即假；它可以是既真又假。
The best traders are those who can control their emotions.
