The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
I always say, decisions I make, I live with them. There’s always ways you can correct them or ways you can do them better. At the end of the day, I live with them.
世界是一个舞台,但剧本选角很糟糕。
The principle goal of education is to create men who are capable of doing new things, not simply repeating what other generations have done.
宇宙用方程式和反应说话。