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