现在已经没有数学家会一概拒绝通过繁复计算完成的定理证明。但是在1976年,情况不是这样。那时,有些 数学家不接受关于映射定理的计算机证明,理由仅仅是:定理是简单的,而证明太繁复了。尽管现在有些数学家仍然坚持简单的数学定理的证明应当是简短的,但所有的数学家都认识到,有些简单的数学定理确实少不了繁复的证明。如...