形式系统的发展彻底改变了我们对数学的理解。
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.
在数学中，你不理解事物。你只是习惯了它们。
建筑是一种视觉艺术，建筑物自己会说话。
科学是一段旅程，而不是终点。
书籍是最强大的魔法形式。
A book can be a quiet place in a noisy world.
正直就是在没人看的时候做正确的事。