The joy of solving a mathematical problem is unparalleled; it is a moment of pure intellectual triumph.

The best way to have a good idea is to have a lot of ideas.

The truth about the world, he said, is that anything is possible. Had you not seen it all from birth and thereby bled it of its strangeness it would appear to you for what it is, a hat trick in a medicine show, a fevered dream, a trance bepopulate with chimeras having neither analogue nor precedent, an itinerant carnival, a migratory tentshow whose ultimate destination after many a pitch in many a mudded field is unspeakable and calamitous beyond reckoning.

你越是对自己的过去和现在负责，就越能创造你想要的未来。

真相很少是纯粹的，也从来不是简单的。

The past is always with us, for it feeds the present.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。