真正的问题不是机器是否会思考，而是人是否会思考。

The truth is that men and women are different, and those differences should be celebrated, not erased.

形式系统的发展彻底改变了我们对数学的理解。

学习数学的唯一方法就是做数学。

纪律是目标和成就之间的桥梁。

未来属于那些相信自己梦想之美的人。

产生好结果的人会自我感觉良好。