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.
预测未来的最好方法就是创造未来。
在追求目标的过程中,耐心和毅力比智商更重要。
To create architecture is to put in order. Put what in order? Function and objects.
At every crossroads on the path that leads to the future, tradition has placed 10,000 men to guard the past.