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.
Collaboration is key—no great science is done in isolation.
The world is full of hidden connections.
【译文】知道的就是知道的,不知道的就是不知道的,这就关于知道的真谛。”
只保有你可一直携带的东西:掌握一些语言,熟悉一些国家,了解那些人民。让记忆成为你的行囊。