The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
Leadership is about making the tough decisions and standing by them, even when they're unpopular.
地球的历史是用板块构造的语言书写的。
永远不要低估为更大目标迈出的小而持续的步骤的力量。
问题是,我们是否乐于假设我们的孙子孙女可能永远无法在大象的图片书之外看到大象?