密碼學中有一種暴力解法,完全不講究技巧(這當然也是相對的),憑着匹夫之勇來一次又一次地嘗試達到破解的目的.這種"算法"應用於數學本身--這當然是在計算機廣泛應用後纔成為可能--就成了所謂的暴力數學.
暴力數學的一個經典例子是四色定理的證明.這個傳奇的定理,與其它定理不同,它的最終獲證並不是由數學家們一步步分析問題.暴露問題得到的,而是在分析到一定程度後由計算機演算獲證的.
這産生了一個新的問題,我們可以說四色猜想是對的.但我們可以說我們證明了它或者我們懂了它的證明嗎?部分數學家的回答是,這並不是證明,而是"描述".
暴力數學區別於傳統數學的就是它的應用計算機的.毫無美感衹有結果的方法.這種方法對數學家們的工作方式還有思維方式及他們對數學的理解有一種顛覆性的挑戰. |
|
|