唯一让生活成为可能的,是永久且难以忍受的不确定性——不知道接下来会发生什么。
The moment you start to think about what you're going to do if you lose, you have lost.
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.