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.

心灵是一个过程的时间模式。

一幅画需要一点神秘，一些模糊和一些幻想。

Just as in a good novel， a good program must be full of interesting ideas， and very， very few words.

Markets fail when information is asymmetric or incentives are misaligned.