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.
我想我只有一个选择:要么忙着生存,要么忙着死。
海洋的潜力是无限的,但我们利用它的智慧却是有限的。
如果可能的话,和平;无论如何,真理。
"If you feel like you're losing everything, remember that trees lose their leaves every year and they still stand tall and wait for better days."
我不追求名利,只追求内心的满足。