The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
Every setback is a setup for a greater comeback.
Every setback is a setup for a comeback.
The best technology is the one that solves real problems.
What is success? I think it is a mixture of having a flair for the thing that you are doing; knowing that it is not enough, that you have got to have hard work and a certain sense of purpose.