创新是看到每个人都看到的东西，思考没有人想过的事情。
It's not the tools you have faith in – tools are just tools – they work， or they don't work.It's people you have faith in or not.
There is a great deal of unmapped country within us which would have to be taken into account in an explanation of our gusts and storms.
形式系统的发展彻底改变了我们对数学的理解。
Dreams don't work unless you do.
A strong culture is the foundation of a strong company.