The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
沉默是一种美德,但在喜欢的人面前沉默,就是一种懦弱。
决定不做什么和决定做什么同样重要。
Leadership is about making others better as a result of your presence and making sure that impact lasts in your absence.