—— 请按键盘 空白键 开始游戏 ——

The ocean feeds millions; our job is to ensure it can feed millions more—without being emptied.
伟大的公司建立在伟大的文化之上,而不仅仅是伟大的产品。
"The most important thing is to stay optimistic."
重要的东西用眼睛是看不到的……就好比花一样。假如你喜欢某个行星上的一朵花,在夜晚仰望星空的时候心情就会很愉快,感觉所有的行星都开满了花。
"I can resist everything except temptation."
The concept of law involves the union of primary rules of obligation with secondary rules of recognition, change, and adjudication.
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.