暴力数学

密码学中有一种暴力解法,完全不讲究技巧(这当然也是相对的),凭着匹夫之勇来一次又一次地尝试达到破解的目的.这种"算法"应用于数学本身--这当然是在计算机广泛应用后才成为可能--就成了所谓的暴力数学.

暴力数学的一个经典例子是四色定理的证明.这个传奇的定理,与其它定理不同,它的最终获证并不是由数学家们一步步分析问题.暴露问题得到的,而是在分析到一定程度后由计算机演算获证的.

这产生了一个新的问题,我们可以说四色猜想是对的.但我们可以说我们证明了它或者我们懂了它的证明吗?部分数学家的回答是,这并不是证明,而是"描述".

暴力数学区别于传统数学的就是它的应用计算机的.毫无美感只有结果的方法.这种方法对数学家们的工作方式还有思维方式及他们对数学的理解有一种颠覆性的挑战.