Man is born free, and everywhere he is in chains.
我们需要世界上的思想多样性来面对新的挑战。
Being busy is a form of laziness—lazy thinking and indiscriminate action.
计算的未来在云端,云端就是计算的未来。
做数学就是与宇宙对话,寻找我们甚至可能还不知道如何提出的问题的答案。
The act of naming is the first act of creation.
如果战略达到了目标,它就是有用的;如果战略实现了目标,它就是成功的。