使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
When we no longer have the power to change a situation, we are challenged to change ourselves.
The most important questions of life are, for the most part, really only problems of probability.
【译文】古人学习的人是为了提高自己,现在学习的人是为了炫耀给别人看。
The future of liberal democracy depends on its ability to adapt to new challenges and to maintain the support of its citizens.