使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
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.
Is there any relief from some of thesepressures that I've been outlining? I think there is. I just want to turn to afew of them. Let's take meritocracy. This idea that everybody deserves to getwhere they get to, I think it's a crazy idea, completely crazy. I will support any politician of Left and Right, with any halfway-decent meritocratic idea; I am a meritocrat in that sense. But I think it's insane to believe that we will ever make a society that is genuinely meritocratic; it's an impossible dream.
好比有一百扇门而只关上一扇,那么盗贼怎么就会没有地方进去呢 
People don't buy what you do; they buy why you do it.
I try to understand the place, its memory, its light, its materials, and then I try to find the right answer.