密碼學中有一種暴力解法,完全不講究技巧(這當然也是相對的),憑着匹夫之勇來一次又一次地嘗試達到破解的目的.這"算法"應用於數學本身--這當然是在計算機泛應用高才口才奴才蠢才天才人才之才英才多才賢才群才唯才幹才詩才降才五才乏才文才懷才奇才才能才路才力才高才伐才格才望才理才思才郎才哲才智才雄才英才情才分才略才貌才人才子才疏成為可能--就成所謂的暴力數學.
暴力數學的一個經典例子是四色定理的證明.這個傳奇的定理,與其它定理不同,它的最終證並不是由數學家們一步步分析問題.暴露問題得到的,而是在分析到一定程度由計算機演算證的.
這産生一個新的問題,我們可以說四色猜想是對的.但我們可以說我們證明它或者我們懂它的證明嗎?部分數學家的答是,這並不是證明,而是"描述".
暴力數學區於傳統數學的就是它的應用計算機的.毫無美感衹有結果的方法.這方法對數學家們的工作方式還有思維方式及他們對數學的理解有一種顛覆性的挑戰. |
|
|