中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院今天發(fā)布訃告稱,首屆國家最高科技獎獲得者、著名數(shù)學(xué)家吳文俊院士因病醫(yī)治無效,于2017年5月7日7時21分在北京不幸去世,享年98歲。
吳文俊1919年5月12日出生于上海。1940年畢業(yè)于上海交通大學(xué),1946年到中研院數(shù)學(xué)所工作。1947年赴法國斯特拉斯堡大學(xué)留學(xué),1949年獲得法國國家博士學(xué)位,隨后在法國國家科學(xué)中心任研究員。新中國成立后,吳文俊于1951年回國,先后在北京大學(xué),中國科學(xué)院數(shù)學(xué)研究所,中國科學(xué)院系統(tǒng)科學(xué)研究所、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院任職。曾任中國數(shù)學(xué)會理事長、中國科學(xué)院數(shù)理學(xué)部主任、全國政協(xié)常委、2002年國際數(shù)學(xué)家大會主席,中國科學(xué)院系統(tǒng)所名譽所長。1957年當選為中國科學(xué)院學(xué)部委員(院士)。
吳文俊對數(shù)學(xué)的主要領(lǐng)域—拓撲學(xué)做出了重大貢獻。他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”,他導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”。他的工作是1950年代前后拓撲學(xué)的重大突破之一,成為影響深遠的經(jīng)典性成果。1970年代后期,他開創(chuàng)了嶄新的數(shù)學(xué)機械化領(lǐng)域,提出了用計算機證明幾何定理的“吳方法”,被認為是自動推理領(lǐng)域的先驅(qū)性工作。他是我國最具國際影響的數(shù)學(xué)家之一,他的工作對數(shù)學(xué)與計算機科學(xué)研究影響深遠。
吳文俊曾獲得首屆國家最高科技獎(2000)、首屆國家自然科學(xué)一等獎(1956)、首屆求是杰出科學(xué)家獎(1994)、邵逸夫數(shù)學(xué)獎(2006)、國際自動推理最高獎Herbrand自動推理杰出成就獎(1997)。
【吳文俊日前因摔倒導(dǎo)致腦出血】
2017年4月11日下午,中國科學(xué)院院長白春禮專程來到北京醫(yī)院,看望了國家最高科學(xué)技術(shù)獎得主、98歲高齡的我院吳文俊院士。我院副院長高小山和黨委副書記武艱陪同。
日前,吳文俊院士在家不慎摔倒,因腦出血入院治療,白春禮院長對此十分掛念,得知吳文俊院士病情穩(wěn)定下來之后立即來到醫(yī)院探望。病中的吳文俊院士還十分虛弱,但一看見白春禮院長立刻握住了他的手說:“真沒想到,你在百忙之中還來看我。”白春禮院長立刻回應(yīng)說:“應(yīng)該的,大家都很關(guān)心您,我代表科學(xué)院、代表院黨組來看您,希望您早日康復(fù)。”
隨后,白春禮院長向主治醫(yī)生詢問了吳文俊院士的病情。據(jù)悉,吳文俊院士經(jīng)治療后病情趨于平穩(wěn),出血已基本吸收,并發(fā)癥得到有效控制,嗜睡的情況也大大緩解,再調(diào)理兩周有望下地行走。主治醫(yī)生笑稱:“爺爺很可愛,也很配合治療。”白春禮院長向醫(yī)護人員表達了感謝,并叮囑醫(yī)護人員和家人照顧好吳老的日常起居。看望過程中,白春禮院長一直緊握吳文俊院士的手,并告訴大家:“吳老握得很緊,很有力氣。”