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

"The silence around words is as important as the words themselves."

Only by continuous learning can we make continuous progress.

We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil.

长时间与计算机接触会使数学家变成文员，反之亦然。

当我们把羁绊孩子的人为事物，以及自以为是用来教导孩子规矩的暴力放置在一旁是地，我们就会看到孩子崭新的一面。