吳文俊簡介
吳文俊:數學界的戰略科學家
吳文俊從40年代起從事代數拓撲學的研究,取得了一系列重要的成果,其中最著名的是吳示性類與吳示嵌類的引入和吳公式的建立,並有許多重要應用。數學界公認,在拓撲學的研究中,吳文俊起到了承前啟後的作用。
50年代,吳文俊和同時代的幾位著名數學家的共同工作,推動了拓撲學蓬勃發展,使之成為數學科學的主流之一。吳文俊為此曾獲1956年度國家自然科學獎一等獎。1957年,38歲的吳文俊當選為中科院學部委員。
1976年底,受計算機與古代傳統數學的啟發,吳文俊形成了一個初等幾何定理的機械化證明的思想。1977年春節前他成功地用這一思想證明了一些定理。這一研究開創了機器定理證明的時代,國際上稱為“吳文俊方法”和“吳消元法”,實現了初級幾何與微分幾何定理的機器證明,有重要的應用價值,為實現笛卡爾與萊布尼茨提出的以機器代替人腦來促進數學研究與思維方式、方法的變革邁出了一大步。
80年代,美國計算機科學界的權威曾聯名寫信給我國中央領導,認為吳先生的工作是“第一流的”,“獨自使中國在該領域走上了世界領導的崗位”。
吳文俊還特別重視數學機械化的應用。在他的影響下,中科院數學與系統科學研究院成立了數學機械化研究中心,吳文俊的成就被應用於若干高科技領域,取得一系列國際領先的成果。(馮永鋒)
-
李鑑澄簡介
李鑑澄:天文界百歲第一人麻曉東李鑑澄,字伯涵。1905年1月20日出生於江蘇吳江。1930年7月入天文研究所,參與了紫金山天文台與鳳凰山天文台創建,是我國最早研究地球磁場的專家之一,開了東北地磁研究的先河。以其淵博的數理造詣和長期從事天文實測的專長與經驗,深入探討...
-
吳士宏簡介大綱
吳士宏姓名:吳士宏出生年月:1964年出生地:北京曾屬公司:ibm、微軟、tcl現任職務:tcl信息產業集團公司總經理吳士宏,生於北京,滿蒙漢三族血統。曾為北京椿樹醫院護士。1985年,獲自學大學聯考英語專科文憑後通過外企服務公司進入ibm公司任辦公勤務。一年後獲培訓機會進入銷售...
-
向東簡介
向東向東1938年9月出生,湖北仙桃市人。曾用名向世忠。中共黨員。武漢市一輕工業科研所高級工程師,武漢市洪福防鏽包裝化工有限公司總工程師。主持研製的“多種金屬組合件氣相防鏽紙”獲1978年全國科學大會獎;《氣相防鏽紙企業標準》獲1986年湖北省標準化科技進步...
-
項管森簡介
項管森項管森男,1930年出生,浙江省松陽縣人。中共黨員。二級作曲。1953年畢業於中央音樂學院華東分院。曾任上海越劇院作曲和上海湘師校友會副會長。現繫上海音樂家協會、戲劇家協會、戲曲音樂學會、陶行知研究會會員。亞洲人文社會科學院特聘學部委員。世界文化...