我國著名數學家吳文俊院士日前由于“對數學機械化這一新興交叉學科的貢獻”同David Mumford分享了2006年邵逸夫數學獎。在25日召開的慶祝會上,全國人大常委會副委員長、中國科學院院長路甬祥發(fā)來賀信,邵逸夫獎評審委員會主席、諾貝爾獎獲得者楊振寧也在致辭中表示:“這代表華人對國際科學界的貢獻達到頂峰的人數越來越多?！?

    中國數學會理事長文蘭院士介紹說,被稱為“東方諾貝爾獎”的邵逸夫獎設立于2004年,是國際性科學獎項,包括天文學、生命科學和醫(yī)學、數學三個獎項,每年頒發(fā)一次。我國已故著名數學家陳省身院士曾獲得第一屆邵逸夫數學科學獎。吳文俊是深受陳省身影響的幾何學家之一,早期在拓撲學領域作出突出貢獻。上世紀70年代,吳文俊又開創(chuàng)了嶄新的數學機械化研究領域,他把中國傳統數學中的機械化思想加以發(fā)展,同時引入了一種基于理特(Ritt)特征集概念的強大的機械化方法,提出了用計算機證明幾何定理的有效方法,被國際上稱為“吳方法”。邵逸夫數學獎委員會認為:“吳文俊的這一方法使該領域發(fā)生了一次徹底的革命性變化,并導致了該領域研究方法的變革。”