It is no use saying, 'We are doing our best.' You have got to succeed in doing what is necessary.

形式系统的发展彻底改变了我们对数学的理解。

"Memory is like a dog that lies down where it pleases."

创新不是闭门造车，要开放合作，整合全球资源。

"We are all in the gutter, but some of us are looking at the stars."

伟大的工程以你不理解的方式解决你未曾意识到的问题。

"Home is not where you are from, it is where you belong."

The most exciting discoveries often come from unexpected places.

"Every failure in the lab is a lesson in disguise, guiding us toward the right path."

那些无法掌控主导他们生活的故事的人，无法重述、重新思考、解构、嘲笑并随着变化而改变它的人，真正是无力的，因为他们无法思考新的思想。