共查询到20条相似文献，搜索用时 125 毫秒
1.
吴文俊院士获得2000年国家科学技术最高奖，这对我们数学工作者是极大的鼓舞，他的主要成就包括代数拓扑，应用数学，数学史，几何定理的机器证明等．这里，我们介绍后者． 相似文献
2.
3.
4.
5.
李邦河 《数学物理学报(A辑)》1989,(4)
今年五月十二日,是我国杰出的数学家吴文俊教授的七十岁诞辰。吴教授在数学研究上已走过了漫长的道路,取得了多方面的巨大成就,赢得了崇高的国际声誉,成为国际著名的拓扑学家和数学机械化的开创人之一。 他曾相继担任中国科学院数学研究所和系统科学研究所的副所长。现任系统科学研究所名誉所长,他是中国科学院学部委员,数理学部副主任。1983—1987期间,任中国数学会理事长。他曾获国家自然科学一等奖,并两次被国际数学家大会邀请作报告。 相似文献
6.
7.
8.
中国科学院院士吴文俊先生指出:“数学问题的机械化,就要求在运算或证明过程中,每前进一步之后,都有一个确定的,必须选择的下一步,这样沿着一条有规律的、刻板的道路,一直达到结论。”“我国古代数学的精髓是一种机械化的思想和机械化的方法,正好符合现时代的要求和状况。因此,我觉得对中国古代数学要特别加以重视。” 相似文献
9.
吴文俊院士指出,“中国古代数学的精髓是一种机械化的思想和机械化的方法正好符合现代化的要求和状况”。“因此,我觉得对中国古代数学要特别加以重视。”“所谓东方数学的中国古代数学,具有两大特色, 相似文献
10.
11.
中国科学院院士吴文俊先生指出：“数学问题的机械化，就要求在运算或证明过程中，每前进一步之后，都有一个确定的，必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论．”“我国古代数学的精髓是一种机械化的思想和机械化的方法，正好符合现时代的要求和状况．因此，我觉得对中国古代数学要特别加以重视。” 相似文献
12.
中国数学会于2010年9月1日上午在中科院数学与系统科学研究院召开了"华罗庚百年诞辰纪念座谈会".出席本次会议的有中国数学会历届正副理事长、秘书长和在京的中科院院士.其中中科院院士有(按拼音排序):陈翰馥、陈木法、丁夏畦、郭雷、姜伯驹、李安民、李邦河、林群、龙以明、陆启铿、马志明、石钟慈、王诗宬、王元、王梓坤、文兰、吴文俊、严加安、张恭庆.研究人员和教授有(按拼音排序):巩馥洲、侯自新、李文林、李忠、彭立中、任南衡、王长平、王跃飞、严士健、袁亚湘、周向宇. 相似文献
13.
14.
15.
16.
《系统科学与数学》是国内外公开发行的学报类月刊,是国内核心期刊之一.主要刊登系统科学及其有关的数学、交叉科学、工程应用等方面在理论和方法上具有创造性的学术论文;创造性地解决实际问题的科学技术报告以及重要学术动态的报道.读者对象是国内外系统科学及其交叉科学的科学技术与教学工作者.国家最高科技奖得主吴文俊院士有关数学机械化机器证明的奠基性论文就发表在《系统科学与数学》1984年第4卷第3期上. 相似文献
17.
18.
19.