33问答网
所有问题
当前搜索:
吴文俊论数学机械化
数学机械化
相关言论
答:
吴文俊
先生坚信,
数学机械化
方法的应用是其研究领域中的关键所在,它是数学机械化研究的生命线。他本人的贡献广泛,涵盖了一系列应用领域,如线性控制系统、机构综合设计、星体运行中心构形的几何分析、化学反应平衡的代数模型、代数曲面的拼接算法、以及从开普勒定律推导牛顿定律的自动推理过程,甚至是全局优化...
1977年谁及其学生实现平面几何定理的
机械化
证明
答:
1977年
吴文俊
及其学生实现平面几何定理的
机械化
证明。1977年,中国著名
数学
家吴文俊及其学生在平面几何定理的机械化证明方面取得了突破性的进展。这一事件是中国数学史上具有里程碑意义的事件之一,对于推动中国数学的发展和提高国际地位产生了深远的影响。在此之前,几何定理的证明一直是数学领域中的一个重要问...
数学机械化
的相关言论
答:
吴文俊
先生强调:“
数学机械化
方法的应用,是数学机械化研究的生命线”。他本人的研究工作己涉及许多应用领域,如线性控制系统、机构综合设计、平面星体运行的中心构形、化学反应方程的平衡、代数曲面的光滑拼接、从开普勒定律自动惟出牛顿定律、全局优化求解等等。在他的指导和带动下,数学机械化方法己在一些...
吴文俊数学机械化
的成就和意义?
答:
回答:自1976年冬,中国著名教授
吴文俊
在中国古代
数学机械化
思想的启发下,尚不知外国人的研究成果,独辟蹊径,大胆地投入数学机械化的研究,创建了数学机械化方法:从几何公理体系出发,引进坐标,将任意几何问题代数化→将证明题的假设与结论分别表示成多元多项式方程→在电子计算机上运算,以判断定理是否成立。...
被称为
数学机械化
之父的著名数学家是谁
答:
我国
数学机械化
之父是
吴文俊
。吴文俊是著名数学家、“数学机械化之父”。1919年出生在上海一个书香世家,2017年5月7日与世长辞。今年,是他的百年诞辰。在数学世界里,吴文俊对新鲜事物总是抱有一份好奇,想要探个究竟。也因此,他的一生“钻”进了数学诸多领域,探索了数学的深度,也揭示了数学的广度...
数学机械化
理论基础
答:
吴先生在初等几何定理证明的
机械化
方法上取得了开创性成就,国际上称其为“吴方法”。这一方法首次实现了高效地通过计算机自动完成几何定理的证明,并且能够应用于几何定理的自动发现和未知关系的推导。
吴文俊
先生的成果对于国际自动推理界,特别是几何定理自动证明的研究,带来了显著的突破,结束了长期的停滞不...
数学机械化
之父
答:
数学机械化
之父是
吴文俊
。吴文俊(1919年5月12日—2017年5月7日),1919年5月12日出生于上海,籍贯浙江省嘉兴市。数学家,中国科学院院士,中国科学院数学与系统科学研究院研究员,系统科学研究所名誉所长。吴文俊毕业于交通大学数学系,1949年,获法国斯特拉斯堡大学博士学位;1957年,当选为中国科学院学...
中国近代发明,发明家,时间,意义
答:
数学机械化
方法 ●发明人:
吴文俊
●当选理由:给中国传统数学注入活力 “文革”以后,吴文俊的研究兴趣转向了中国古代数学史,并开创了被称之为数学机械化的研究工作。在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统,转而研究几何定理的机器证明,彻底改变了这个领域的面貌,被称为“吴...
吴文俊
对
数学
有什么贡献?
答:
吴文俊
是中国
数学机械化
研究的创始人之一,中国科学院院士,第三世界科学院院士;曾任中国数学会理事长(1985~1987),中国科学院数理学部主任(1992~1994),全国政协委员、常委(1979~1998)。吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有...
吴文俊
的贡献是什么
答:
他还在拓扑不变量、代数流形等问题上有创造性工作。1956年
吴文俊
因在拓扑学中的示性类和示嵌类方面的卓越成就获中国自然科学奖一等获。◆
数学机械化
或机器证明方面,从初等几何着手,在计算机上证明了一类高难度的定理,同时也发现了一些新定理,进一步探讨了微分几何的定理证明。提出了利用机器证明与发现...
1
2
3
4
5
6
7
8
9
10
涓嬩竴椤
灏鹃〉
其他人还搜
什么是数学机械化
吴文俊为何不搞纯数学了
数学机械化之父
吴文俊数学机械化理论体系知乎
坐标法和数学机械化
吴文俊和华罗庚有矛盾
数学机械化体系
数学机械化是什么意思
数学机械化方法对中国的作用