最好的发现是那些提出的问题比它们回答的还要多的发现。
The best discoveries are those that raise more questions than they answer.
The more you do, the more you learn. The more you learn, the more you can do.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The mind's first duty is to keep the organism going.
