生命太短暂，不能渺小。
The best moments in our lives are not the passive, receptive, relaxing times… The best moments usually occur if a person’s body or mind is stretched to its limits in a voluntary effort to accomplish something difficult and worthwhile.
形式系统的发展彻底改变了我们对数学的理解。
The key to solving complex problems is to break them down into manageable pieces.