形式化方法的美在于它们能够提供关于系统行为的绝对保证。

数学思想的真正考验是它能否激发进一步的思考。

Exile is not just a geographical concept; you can be an exile in your own country, in your own family, in your own skin.

我不是赌徒。我不相信运气。我相信努力和准备。