標題是我訂的：）

轉載節録自 https://goo.gl/7Y6Ofm

錢學森和華羅庚，想必無人不知無人不曉，但若要提到吳文俊的名字，卻沒有多少人瞭解
他。

1956年，新中國首屆自然科學一等獎，共三位獲獎人。
錢學森和華羅庚名揚全國，唯獨吳文俊，直到82歲高齡，與袁隆平一起又一次站在國家最
高科技獎領獎台上，很多人對吳老都還很陌生。

2017年5月7日7時21分，吳老在北京去世，享年98歲。

31歲，拓撲學吳公式，以吳文俊的名字命名。
38歲，當選中國科學院最年輕學部委員，即當今院士，這個紀錄至今沒有人能打破。
58歲，他以「吳方法」，再一次轟動了整個學界。

可惜一場轟轟烈烈的運動，讓他的研究中斷近10年。

令吳文俊沒有想到的是，1975年，思想稍稍鬆動之後，他偶然接觸了中國古代數學，一下
子闖進一片新的天地。
「那之前對中國古代數學，我是沒有半點興趣的，覺得都是些亂七八糟的東西。」

當時拓撲學被視為西方學科，要想深入研究已經沒有可能。時任中科院所長的關肇直，號
召大家學中國古代數學。
出於好奇，吳文俊也四處借書，不看不要緊，這一看就開啓了中國數學的「正名之路」。
在西方學界看來，中國古代數學不入流，甚至覺得其中很多算法就是從西方傳過來的，對
世界數學沒什麼影響。

因為中國古代數學有一個關鍵癥結所在：「只給結果，沒有論證過程。」
在沒有論證過程的時候，學界當然不願認可你。

例如著名的「秦久韶公式」，一開始數學史家就認定是從西方「海倫公式」演變的，絕非
中國古代原創發現。
為了給中國古代數學正名，吳文俊決定給出論證過程，而且拋棄所有現代數學知識，只用
中國古代已有的數學知識。

在距今700多年的歷史跌宕中，多少知識細節已成了謎團，要想推證談何容易？

接觸古代數學早期，為了看懂古代的文獻，吳文俊狠狠下了一番功夫，從簡易的白話，到
文白夾雜，再到最後能直接閱讀算法文獻。沒有一股鍥而不捨的精神，根本無法理解那些
晦澀的名詞。

終於，在「出入相補原理」中，吳文俊找到了破解密碼，非常複雜地證出「秦久韶公式」
。

一個被埋葬了700年的證明，被吳文俊復證後可以看到：
「中國古代數學和希臘數學，完全不是一個風格體系。」

隨後，吳文俊又證明多個問題，發表《中國數學對世界文化的貢獻》，終於讓一大批外國
數學史家被中國古老的智慧折服。


研究中國古代數學時，吳文俊就敏銳地洞察出，古代數學有獨特的機械化思想，能夠把幾
何問題轉化為代數。
如果編成程序輸進電腦，可以代替大量複雜的人工演算，將數學家從繁重的腦力勞動中解
放出來，進而推進科學發展。

1941年，電子計算機問世，但它只能提高計算的效率，無法勝任定理的推導和證明。如何
讓計算機擁有推論智慧，成了西方科技發展的一大難題，整整20年都毫無進展。

正是從中國的那些優秀的古老算法中，吳文俊找到了突破口。

一年多的時間里，吳文俊採用「最笨的方式」，先改造了宋代的「代數消元法」，在初步
形成了基礎理論後，對1000多種幾何定理進行分類，然後一個一個地去人工計算。
在這龐大的計算量中，有些式子好幾頁紙才能抄下，而總的多項式高達幾千項。幾乎每次
證明一個定理，都要花近一個禮拜的功夫。

1977年，寫完一個算式後，吳文俊在桌前發出歡快的笑聲，立即撰文發表推出全新方法，
打開了機器證明定理的大門。

由此，吳文俊，開創了近代數學史上，第一個中國人原創的研究領域：
數學機械化（國際稱「吳方法」），實現了將繁瑣的數學運算、證明交由計算機來完成。

這是這麼多年以來，中國古老的數學成就第一次引領世界潮流。

難怪有人說：「他的研究，起到了正本清源的作用，證實了中國古代數學，是世界數學的
主流之一。
未嘗不可以這麼說：中國古代數學能夠重登世界數學的輝煌殿堂，吳文俊功不可沒。」


心得：先前學過一點CAD，裡面絕對座標向的表達方式好像就是數學機械化的延伸應用？
這是不是也打破傳統認為中國沒有數學的既定印象？


延伸閲讀：
吳文俊倡導數學機械化研究
159.226.2.2:82/gate/big5/mtw.kepu.net.cn/gb/basic/szsx/3/3_35/3_35_1009.htm
數學機械化：讓數學更加實用
https://goo.gl/CunM6Q
数学机械化
https://goo.gl/Lgo39z

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.176.29.70
※ 文章網址: https://www.ptt.cc/bbs/historia/M.1494461530.A.F43.html