程序最重要的属性是它是否实现了用户的意图。
The most important property of a program is whether it accomplishes the intention of its user.
采矿业的创新不是可选项，而是生存必需。
Mathematics is the most beautiful and most powerful creation of the human spirit.
It is wrong to have an ideal view of the world. That's where the mischief starts. That's where everything starts unravelling.
你不必总是和别人在一起才能快乐。你可以独自快乐。
I don't care about being cool. I care about being happy.
顺应上天（自然）而赞颂它，哪里比得上掌握了自然规律去利用它？“制天命而用之”符合当今社会人与自然和谐相处的原则，人尊重自然，也可适当地改造自然为我所用。