吳文俊簡介
吳文俊:數學界的戰略科學家
吳文俊從40年代起從事代數拓撲學的研究,取得了一系列重要的成果,其中最著名的是吳示性類與吳示嵌類的引入和吳公式的建立,並有許多重要應用。數學界公認,在拓撲學的研究中,吳文俊起到了承前啟後的作用。
50年代,吳文俊和同時代的幾位著名數學家的共同工作,推動了拓撲學蓬勃發展,使之成為數學科學的主流之一。吳文俊為此曾獲1956年度國家自然科學獎一等獎。1957年,38歲的吳文俊當選為中科院學部委員。
1976年底,受計算機與古代傳統數學的啟發,吳文俊形成了一個初等幾何定理的機械化證明的思想。1977年春節前他成功地用這一思想證明了一些定理。這一研究開創了機器定理證明的時代,國際上稱為“吳文俊方法”和“吳消元法”,實現了初級幾何與微分幾何定理的機器證明,有重要的應用價值,為實現笛卡爾與萊布尼茨提出的以機器代替人腦來促進數學研究與思維方式、方法的變革邁出了一大步。
80年代,美國計算機科學界的權威曾聯名寫信給我國中央領導,認為吳先生的工作是“第一流的”,“獨自使中國在該領域走上了世界領導的崗位”。
吳文俊還特別重視數學機械化的應用。在他的影響下,中科院數學與系統科學研究院成立了數學機械化研究中心,吳文俊的成就被應用於若干高科技領域,取得一系列國際領先的成果。(馮永鋒)
-
修濟剛簡介
修濟剛修濟剛1956年8月出生,北京人。碩士。畢業於北京大學。現為中國地震局研究員。中國地震學會科學普及專業委員會主任,北京減災協會副會長,中國楹聯學會會員,北京楹聯學會顧問。《防災博覽》雜誌編委會主任。著有《山水之間》、《地震漫話》等書。...
-
錢驥簡介
空間技術和空間物理專家錢驥江蘇省金壇縣人,1917年生,男,中共黨員,空間技術和空間物理專家。1943年畢業於中央大學師範學院。1949年後,歷任中國科學院地球物理研究所室副主任、主任,二部衞星設計院業務負責人。1968年以後,歷任七機部第五研究院衞星總體設計部主任,第五...
-
賈有權簡介
賈有權:我國光測實驗力學的帶頭人佟景偉賈有權,光彈性學家。長期致力於材料力學教學和實驗力學的研究工作。在二維和三維光彈性、全息光彈性、動光彈性、流體光彈性等方面的研究均有所創新。他倡導並積極推動了我國實驗力學的發展。賈有權,又名賈坡。1916年10月17日出生於...
-
方舟子簡介
方舟子簡介方舟子,本名方是民,1967年9月生於福建雲霄縣。1985年考入中國科技大學生物系。1990年本科畢業後赴美留學。1995年獲美國密歇根州立(michiganstate)大學生物化學博士學位,先後在羅切斯特(rochester)大學生物系、索爾克(salk)生物研究院做博士後研究,研究方向為分子遺傳學。目前定...