数学家吴文俊批判中国?吴文俊(1919-),男,是中国著名的数学家。毕业于交通大学(今上海交通大学、西安交通大学),1949年在法国斯特拉斯堡大学取得博士学位。 在拓扑学的示性类和示嵌类、数学机械化等领域中作出了重要贡献,那么,数学家吴文俊批判中国?一起来了解一下吧。
1977年吴文俊及其学生实现平面几何定理的机械化证明。
1977年,中国著名数学家吴文俊及其学生在平面几何定理的机械化证明方面取得了突破性的进展。这一事件是中国数学史上具有里程碑意义的事件之一,对于推动中国数学的发展和提高国际地位产生了深远的影响。
在此之前,几何定理的证明一直是数学领域中的一个重要问题。传统的证明方法需要大量的计算和推理,不仅耗时费力,而且容易出错。因此,研究几何定理的证明方法一直是数学界的一个热点问题。
吴文俊和他的学生们在这个领域进行了多年的探索和研究。他们认为,几何定理的证明应该是基于公理系统的,而不是依赖于个别的观察和实验结果。因此,他们提出了一种基于公理系统的几何定理证明方法,即将几何定理转化为一系列的形式化命题,然后通过逻辑推理和数学运算来证明这些命题的正确性。
这种方法的核心是“机械化证明”,即利用计算机等工具自动地完成几何定理的证明过程。在当时,这种方法还是一项前沿的技术,但是吴文俊和他的学生们相信它是未来几何定理证明的方向。
吴文俊在数学机械化方面的贡献。
中国传统数学强调构造性和算法化,注意解决科学实验和生产实践中提出的各类问题,往往把所得到的结论以各种原理的形式予以表述。
首届国家最高科技奖获得者、数学大师吴文俊院士5月7日在北京逝世,享年98岁。中国科学院数学与系统科学研究院发布的讣告称,吴文俊是中国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。中国数学会原理事长马志明院士今天对中国青年报·中青在线记者说,吴文俊先生是一位数学大师,首届国家最高科技奖颁给他,可见他的地位。“他是我们非常敬爱的一位数学家。他对我们这一代数学家的影响是很深的。”今天上午,马志明接到记者电话时非常惊讶。他前一段时间听说过吴先生病重的消息,还未听到噩耗。记者从吴文俊先生治丧公室获悉,吴先生此次住院是因在家不慎摔倒,脑出血入院治疗。4月初入院后,身体一度恢复良好,但进入5月又恶化。4月11日,中科院院长白春礼去医院看望他时,病情已经趋于平稳。他的主治医生笑称:“爷爷很可爱,也很配合治疗。”据马志明介绍,吴文俊直到晚年都在研究数学。他在数学上的贡献,除了众所周知的数学机械化领域,还包括他对中国古代数学的研究。长期以来,他为把中国建设成为数学强国倾注了大量心血,为中国数学界的组织建设和学科发展做了大量工作。中科院的讣告称,吴文俊曾获得首届国家最高科技奖、邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖等大奖。
吴文俊是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域,对数学与计算机科学研究影响深远。
吴文俊的研究工作涉及数学的诸多领域,其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作;他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用。
扩展资料
上世纪七十年代末,吴文俊用算法的观点对中国古算作了正本清源的分析,认为中国古算是算法化的数学。由此,开辟了中国数学史研究的新思路与新方法,在数学史领域产生了重大影响。
1986年吴文俊被邀请到国际数学家大会作分组报告,介绍他在中国古代数学史研究中的成果。不仅如此,他又在中国古算研究的启发下,开拓了机械化数学的崭新领域。
1977年他在初等几何定理的机械化证明方面首先取得成功,提出了几何定理机器证明的吴方法。此后,相继提出微分几何的定理机械化证明方法,方程组符号求解的吴消元法,全局优化的有限核定理,建立了数学机械化体系。
他不仅建立数学机械化的基础,而且将这一理论应用于多个高技术领域,解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题。
吴文俊(1919~)
中国数学家。中国科学院院士 。1919年5月12日生于上海。1940年毕业于上海交通大学 。1947 年赴法国留学 ,先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究 ,1949年获博士学位 。1951 年回国 。历任北京大学数学系教授,中国科学院数学研究所研究员、副所长,中国科学院系统科学研究所研究员、副所长、名誉所长,数学机械化研究中心主任,中国数学会理事长、名誉理事长,中国科学院数学物理学部常务委员、主任等职 。曾任全国政协常务委员 。主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果,是中国数学机械化研究的创始人之一。1952年刊印出版的博士论文《球纤维空间示性类理论》是对纤维空间基本问题的重要贡献。50年代在示性类、示嵌类等研究方面取得一系列突出成果 ,并有许多重要应用 ,被国际 数 学界称为“吴文俊公式” 、“ 吴文俊示性类 ”,已被编入许多名著。这项成果曾获1956年国家自然科学奖一等奖。60年代继续进行示嵌类方面的研究,独创性地发现了新的拓扑不变量,其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果,是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究,有深刻的理论意义。
学在人类文明的发展中起着非常重要的作用,数学推动了重大科学技术的进步,在早期社会发展的历史上,限于技术条件,依据数学推理和推算所作的预见,往往要多年之后才能实现,数学为人类生产和生活带来的效益容易被忽视。进入二十世纪,尤其式到了二十世纪中叶以后,科学技术发展到现在的程度,数学理论研究与实际应用之间的时间已大大缩短,特别是当前,随着电脑应用的普及,信息的数字化和信息通道的大规模联网,依据数学所作的创造设想已达到即时试、即时实施的地步,数学技术将是一种应用最广泛、最直接、最及时、最富创造力和重要的技术,故而当今和未来的发展将更倚重数学的发展。
数学对人的影响也式非常深刻的,“数学是锻炼思维的体操”,数学的重要性不仅仅是它蕴含在各个知识领域之中,而且更重要的是它能很好地锻炼人的思维,有效地提高能力,而能力(理解能力、分析能力、运算能力)则是关系到学习效率的更重要因素。
在我国建国60年来,我国数学科学的发展更是取得了辉煌的成就,涌现了一批如:华罗庚、吴文俊等站在数学发展最前沿的,代表数学发展方向的,享誉世界的数学家 ,对比其他国家数学科学的发展,我国的数学发展可谓一波三折。
与美国相比,自二战以后,为了迎接越来越大的内外挑战,美国经历了四次重大的教育改革实践,由二十世纪50年代末前苏联在“外层空间”的挑战而引发的“学科结构”为运动发端的教育大讨论,70年代初兴起了改变职教与普教分离的“生计教育”,至70年代中期又展开了强调基础知识与基础技能训练的“回归基础”运动,而80年代则掀起了波澜壮阔的综合教育改革运动,如果说美国80年代以前的教育具有明显的“应时性”特征的话,那么进入80年代后则更多地呈现出综合性与前瞻性的特点,并以四个著名的教育改革文献——《国家处于危机之中:教育改革势在必行》,《2061计划:面向全体美国人的科学》,《美国2000年教育战略》,《2000年目标:美国教育法》为标志,向世界呈现了一副21世纪的教育蓝图。
以上就是数学家吴文俊批判中国的全部内容,1、吴文俊是中国著名的数学家,也是中国和世界范围内极具声望的教育家,他创建了中国现代数学与计算机科学的先河,被誉为中国数学第一人。2、吴文俊自小聪明好学,年仅10岁考取了成都实验小学。