A man of genius makes no mistakes. His errors are volitional and are the portals of discovery.

形式系统的发展彻底改变了我们对数学的理解。

The best way to predict the future is to create it.

Liberal democracy may constitute the "end point of mankind's ideological evolution" and the "final form of human government."

I try to make the invisible visible.

The half-life of love is forever.

信仰与看不见的事物有关，希望与尚未到来的事物有关。