用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
如果你感到自己已经很完美了,那么你永远不会达到你本可以达到的高度。
想想!使用VLSI,我们可以在1平方厘米中包装100个ENIACS。