形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
我这一代人最伟大的发现是,一个人可以通过改变态度来改变他的生活。
Leadership is not about being in charge. It's about taking care of those in your charge.
在数学中,你不理解事物。你只是习惯了它们。
建筑是一种视觉艺术,建筑物自己会说话。
科学是一段旅程,而不是终点。