巡檢員、waterh
17,999
次編輯
變更
吳文俊
,無編輯摘要
[[File: 吳文俊-4.jpg|250px|有框|縮略圖|right|年輕時代的吳文俊---[http://www.amss.ac.cn/wwj/yrxm/201705/t20170506_4784294.html 圖片來源]]]
'''吳文俊'''<ref>{{Cite web|url=http://www.amss.ac.cn/wwj/ |title =中国科学院数学与系统科学研究院网站—深切缅怀吴文俊院士}}</ref>（1919年5月12日－2017年5月7日），數學家， [[ 中國科學院 ]] 院士，中國科學院數學與系統科學研究院研究員，系統科學研究所名譽所長。
吳文俊畢業於 [[ 交通大學 ]] 數學系，1949年獲法國斯特拉斯堡大學博士學位；1957年當選為中國科學院學部委員（院士）；1991年當選第三世界科學院院士；陳嘉庚科學獎獲得者，2001年2月，獲2000年度中國“國家最高科學技術獎”。
吳文俊的研究工作涉及數學的諸多領域，其主要成就表現在拓撲學和數學機械化兩個領域。他為拓撲學做了奠基性的工作；他的示性類和示嵌類研究被國際數學界稱為“吳公式”、“吳示性類”、“吳示嵌類”，至今仍被國際同行廣泛引用。
==生平介紹==
吴文俊因为数学机器证明——数学机械化获得国家最高科学奖和邵逸夫数学奖，吴文俊胡编乱造坑蒙拐骗得到科学奖成为中国科学史上最可耻的记录。
==吴文俊机器证明是个什么垃圾==
吴文俊先生已经去世，享年98岁。吴先生是中国第一位国家最高科学奖的得主，因为在数学机械化方面的成就。
计算机解方程早已不是新闻。
计算机证明研究在2006年结束。