You cannot swim for new horizons until you have courage to lose sight of the shore.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
Writing for the theatre is always a kind of confrontation.
Investors should avoid making investment decisions based on emotions or market hype.
代数分析很快让我们忘记了研究的主要对象,因为它将我们的注意力集中在抽象的组合上,直到最后我们才回到最初的目标。
The story of human origins is still being written.