使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
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.
最好的剪辑是那些你注意不到的剪辑;它们如此自然地流动,以至于观众完全沉浸在故事中。
The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'
I think that the most important thing is to be kind to yourself and to others.
The most important property of a program is whether it accomplishes the intention of its user.
A good book should be an axe to break the frozen sea within us.
"The act of writing is an act of resistance against forgetting and oblivion."