形式系统的发展彻底改变了我们对数学的理解。
解释:大部分蔗都是甘甜的,而竹蔗却是苦的,说明了蔗类味道的多样性。
不如意的事要能排遣,日子清苦要能守得住,无道理的事要受得住,愤怒产生时要忍耐,欲望产生时要克制。
苏联人是一个永远在等待的人——等待配给,等待命令,等待终结。
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding.
数学不是关于数字、方程、计算或算法:它是关于理解的。
传记的艺术就是共情的艺术。
Success is not about how much money you make, it’s about the difference you make in people’s lives.