20xx年20科院院士訃告(編輯修改稿)
2025-01-25 06:20 本頁面
【文章內(nèi)容簡(jiǎn)介】 被稱為”吳公式”。他的工作是1950年代前后拓?fù)鋵W(xué)的重大突破之一，成為影響深遠(yuǎn)的經(jīng)典性成果。1970年代后期，他開創(chuàng)了嶄新的數(shù)學(xué)機(jī)械化領(lǐng)域，提出了用計(jì)算機(jī)證明幾何定理的“吳方法”，被認(rèn)為是自動(dòng)推理領(lǐng)域的先驅(qū)性工作。他是我國(guó)最具國(guó)際影響的數(shù)學(xué)家之一，他的工作對(duì)數(shù)學(xué)與計(jì)算機(jī)科學(xué)研究影響深遠(yuǎn)。
吳文俊曾獲得首屆國(guó)家最高科技獎(jiǎng)(20xx)、首屆國(guó)家自然科學(xué)一等獎(jiǎng)(1956)、首屆求是杰出科學(xué)家獎(jiǎng)(1994)、有東方諾貝爾獎(jiǎng)之稱的邵逸夫數(shù)學(xué)獎(jiǎng)(20xx)、國(guó)際自動(dòng)推理最高獎(jiǎng)Herbrand自動(dòng)推理杰出成就獎(jiǎng)(1997)。他培養(yǎng)的許多學(xué)生
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號(hào)-1