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.

You don't learn to walk by following rules. You learn by doing, and by falling over.

生活中唯一的限制是你自己设定的。

The coldest winter I ever spent was a summer in San Francisco.