金融发展的关键在于建立能够可信地承诺保护财产权的制度。

λ演算本质上是一种纯粹抽象的函数理论。

The reasonable man adapts himself to the world; the unreasonable one persists in trying to adapt the world to himself. Therefore all progress depends on the unreasonable man. )

我不完美，但我在努力。

To exist is to be in dialogue—with others, with time, with the unknown.

The study of L-functions is a journey into the hidden patterns of numbers.