用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
我很有竞争力和雄心,但我没有成为第一的欲望。我只想做真正有趣的工作并挑战自己。
Trust doesn’t mean that you trust that someone won’t screw up—it means you trust them even when they do screw up.
Human beings are not born once and for all on the day their mothers give birth to them, but life obliges them over and over again to give birth to themselves.