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 a finite problem.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
克服厄运的唯一方法就是努力工作。
自由不仅仅是随心所欲的机会;也不仅仅是在既定选项之间选择的机会。自由首先是制定可用选择的机会,对它们进行辩论——然后,是选择的机会。
The future of computing is in the cloud. It's not just a trend; it's a fundamental shift in how we think about and use technology.