本篇文章給大家談談金怡濂,以及金怡濂計算機對應的知識點，希望對各位有所幫助，不要忘了收藏本站！

內容導航：

• 2000年第一屆“國家最高科學技術獎”獲得者是（）
• 耀華中學14位院士的資料
• 吉利員工的最高榮譽獎是什麽？
• 男孩怎麽起名有內涵 帶怡字的男孩名字大全
• 金怡濂的人物評價
• 嘉怡的含義

Q1：2000年第一屆“國家最高科學技術獎”獲得者是（）

2000年國家最高科學技術獎獲獎者吳文俊簡介

2月16日，吳老在研究院答記者問（新華社記者呂全成攝）

吳文俊，男，1919年5月出生於上海，1940年畢業於上海交通大學數學係。

1946年赴法國Strassbourg 大學留學，獲博士學位。1957年被選為中國科學院學部委員（院士）。1990年被第三世界科學院選為院士。

1952年至1979年任中國科學院數學所副所長、研究員。1979年至現在任中國科學院係統科學研究所副所長、名譽所長、研究員。

吳文俊院士是著名的數學家，他的研究工作涉及到數學的諸多領域。在多年的研究中取得了豐碩成果。其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作。他的示性類和示嵌類研究被國際數學界稱為“吳公式”，“吳示性類”，“吳示嵌類”，至今仍被國際同行廣泛引用，影響深遠，享譽世界。

70年代後期，在計算機技術大發展的背景下，他繼承和發展了中國古代數學的傳統（即算法化思想），轉而研究幾何定理的機器證明，徹底改變了這個領域的麵貌，是國際自動推理界先驅性的工作，被稱為“吳方法”，產生了巨大影響。吳的研究取得了一係列國際領先成果並已應用於國際上當前流行的符號計算軟件方麵。

吳文俊院士熱愛祖國，有高尚的科學道德，是數學界德高望重的前輩，至今仍在數學機械化研究的第一線。在50多年的研究工作中，始終站在數學領域的前沿，做出了原創性研究成果。在國際上產生了重大影響。（

參考資料：http://www.people.com.cn/GB/kejiao/230/10418/10421/20030227/932543.html