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.

成功不在于目的地，而在于旅程和你在途中所学的教训。

We are all hostages of our own memories.

"Experience is simply the name we give our mistakes."

伟大的领导者不创造追随者，而是创造更多领导者。