教师必须具有健康的体魄，农人的身手，科学的头脑，艺术的兴味，改革社会的精神。

人生的意义在于人自己赋予它的意义。

Talent is not enough. You need discipline and dedication to make it to the top.

The most profound ideas in mathematics often arise from the simplest observations.

我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。