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.
"A well-written biography is a resurrection of the past."
所以勇往直前吧。跌倒吧。你会从地上看到一个不同的世界。
I'm just trying to find a way to be happy.
Good artists copy. Great artists steal.