你以為早上醒來昨天就不算數(shù)了。但昨天才是真正算數(shù)的。還有什么呢?你的生命就是由那些日子組成的。沒有別的。
We are the product of our evolutionary past.
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.