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

一个奇怪的悖论是，当我接受自己本来的样子时，我就能改变。

The man who is anybody and who does anything is surely going to be criticized, vilified, and misunderstood. This is part of the penalty for greatness, and every great man understands it.

The stones we pull from the earth carry 400 million years of history—we're merely temporary stewards.

事实是，我们都在试图弄清楚如何生活。