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 a finite problem.
写作不是治疗,而是寻求真相。
Remember, hope is a good thing, maybe the best of things. And no good thing ever dies.
I'm obsessed with reinvention. I'm obsessed with being a warrior for love.
The only people who see the whole picture are the ones who step out of the frame.
忠于自己,永远不要让任何人告诉你你做不到某件事。