吴文俊数学家

数学.家？,Godeverarithmetizes.上帝是一位数学家。雅可比,那些很厉害的人,MathematicsistheQueenoftheSciences，andArithmetictheQueenofMathematics数学是科学的女王，而数论是数学的女王。高斯Thescienceofmathematicspresentsthemostbrilliantexampleofhowpurereasonmaysuccessfullyenlargeitsdomainwithouttheaidofexperience.数学科学呈现出一个最辉煌的例子，表明不用借助实验，纯粹的推理能成功地扩大人们的认知领域。康德Puremathematicsis,initsway,thepoetryoflogicalideas.纯粹数学，就其本质而言，是逻辑思想的诗篇。爱因斯坦Naturesgreatbookiswritteninmathematicalsymbol.自然这一巨著是用数学符号写成的。伽里略,(PREFACE),中国也有很厉害的人的,数学家！中国数学家！,吴文俊,1,生平简介,主要成就,重要经历,获奖及学术论点,目录,生平简介,，浙江嘉兴人，出生于上海，毕业于交通大学，是中国著名的数学家。吴文俊的研究工作涉及到数学的诸多领域其主要成就表现在拓扑学和数学机械化两个领域。,他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”、“吴示性类”、“吴示嵌类”至今仍被国际同行广泛引用。,吴文俊1919年5月12日2017年5月7日,主要成就,1949年获得法国斯特拉斯堡大学博士学位。70年代后期，他继承和发展了中国古代数学的算法化思想，转而研究几何定理的机器证明，是国际自动推理界先驱性的工作，被称为吴特征列方法,曾获得首届国家自然科学一等奖(1956)。中国科学院自然科学一等奖(1979)。第三世界科学院数学奖(1990)。陈嘉庚数理科学奖(1993)。,吴文俊现在是中国科学院系统科学研究所名誉所长，他获得多项国内外奖，1997年获自动推理领域最高奖HerbrandAward，2006年获邵逸夫奖数学科学奖。编号第7683号小行星被永久命名为“吴文俊星”。,首届香港求是科技基金会杰出科学家奖(1994)。Herbrand自动推理杰出成就奖(1997)。首届国家最高科学技术奖(2000)。第三届邵逸夫数学奖(2006)。,他也是获过很多奖的,1956年国家第一届自然科学奖一等奖,1992年第三世界科学院数学奖,1993年陈嘉庚数理科学奖,1997年自动推理最高奖Herbrand奖,2000年国家最高科学技术奖,2006年邵逸夫数学奖,1946年年初到上海临时大学任郑太朴教授的助手，8月陈省身吸收吴文俊到数学所任助理研究员。,添加标题,1949年完成“论球丛空间结构的示性类”的博士论文，论文于1952年单行本发表,添加标题,添加标题,2006年6月获得第三届邵逸夫奖数学奖,重要经历,1950年与Thom合作发表关于流形上Stiefel-Whitney示性类的论文，后通称为吴类与吴公式,学术论点,中国数学史方面观点,吴文俊认为中国古代数学的特点是：从实际问题出发，经过分析提高，再抽象出一般的原理、原则和方法