暴力数学

暴力数学的一个经典例子是四色定理的证明.这个传奇的定理,与其它定理不同,它的最终获证并不是由数学家们一步步分析问题.暴露问题得到的,而是在分析到一定程度后由计算机演算获证的.密码学中有一种暴力解法,完全不讲究技巧(这当然也是相对的),凭着匹夫之勇来一次又一次地尝试达到破解的目的.这种"算法"应用于数学本身--这当然是在计算机广泛应用后才成为可能--就成了所谓的暴力数学.