A pessimist sees the difficulty in every opportunity; an optimist sees the opportunity in every difficulty.
悲观主义者在每个机会里看到困难。乐观主义者在每个困难里看到机会。
希望不是一种感觉，而是一种可行的、戏剧性的行动。
I will keep creating art until the day I die.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
We need to build China's marine fishery into a world-class industry.
The universe is not only stranger than we imagine, it is stranger than we can imagine.
I'm not a victim, I'm a survivor.
Mathematics is not just about numbers, equations, computations, or algorithms: it is about understanding.