使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
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.
我们实现明天的唯一限制将是我们今天的怀疑。
Prophesying was the only human art that couldn't be improved by practice.
艺术家必须是研究者，不断实验和探索新的可能性。
You can't think your way through life. You have to live your way through it.
