永远不要忘记你是谁以及你来自哪里。
战斗越艰难,胜利就越甜蜜。
形式系统的发展彻底改变了我们对数学的理解。
I think of my pile of old paperbacks, their pages gone wobbly, like they’d once belonged to the sea.
我想起我那堆旧平装书,书页已经变得松软,仿佛它们曾经属于大海。
The things we admire in men, kindness and generosity, openness, honesty, understanding and feeling, are the concomitants of failure in our system. And those traits we detest, sharpness, greed, acquisitiveness, meanness, egotism and self-interest, are the traits of success.