吴文俊写转中的数学机械化是什么意思
妹子丁2022-10-04 11:39:541条回答
已提交,审核后显示!提交回复
共1条回复
- 把你摁oo 共回答了14个问题
|采纳率100% - 吴文俊写转中的数学机械化是---
机器(自动化)推理证明. - 1年前
相关推荐
- 数学家吴文俊的名言
334904801年前1
-
llxxpp760810 共回答了17个问题
|采纳率100%一个问题有原始数据,要求解决这个问题提出的答案,这答案也是用某种数据的形式来表示的,原始数据和结论数据是用某种形式的关系联系起来的,这个关系就是方程,建立起关系就是建立起方程.
2.在这种意义下,中国的古代数学是一种算法的数学,也就是一种计算机的数学,我们最古老的数学也是计算机时代最适合、最现代化的数学.
3.解决各种问题就变成解决各种方程,因此解方程成为中国数学2000多年历史发展中的主要目标.
4.中国古代数学发展出多项式方程、差分方程、不定式方程,但到真正解决微积分的时候,由于政治、思想和社会的各种原因,就停顿下来了,在解析几何微积分的大门口止步了.但是,中国的差分方程实际上是一种最适合计算机时代的方程. (名人名言 www.***.com)
5.中国古代数学在解方程的发展过程中,线索分明,一步一个脚印,不断前进,在这个过程中形成了新的概念和方法,由此使得数学理论得到相应发展.
6.在中国古代数学的历史上,为了解决问题而解方程,为了解方程而发展出我们的数学理论,发展了我们的基础数学,从中可以看出我们数学方法的优越性.
7.我是从中国古代数学受到启发和指引,结合现代西方的某些技术,用计算机来证明几何定理,最后形成了经常提到的数学机械化.
8.现在的中国数学经常跟着外国人的脚步走.
9.我倒有一个“怪论”,不要老讲什么大师.我记得小时候看过,好像是梁启超还是谁讲过这么一个意思———英雄都是在落后国家出来的.
10.人少,偶尔出一个,大家都很崇拜,而当真正整体发达了,大家都差不多时,就不会特别觉得谁英雄了.
11.将来的数学,应该是走中国古代数学道路,而不是国际道路,这是一条总的趋势.
12.在上学时我最喜欢物理,因为离现实的事物更接近.
仅供参考1年前查看全部
大家在问
- 1如图所示,在匀速转动的圆筒内壁上紧靠着一个物体一起运动,物体所受向心力由( )提供.
- 2英语翻译Countless gathering day,and you’re nowhere to be found.O
- 3位移和路程的方向、大小和联系
- 4卤素有哪些常见的化合物?在生活中有哪些F Cl Br I的常见化合物,如牙膏,
- 56.26''Q1 外语It's Not a Question of Whether,but a Question of
- 6在△ABC中,“A>B”是“sinA>sinB”成立的( )
- 7求极限中的未知数a=-1 ,b=1/2 好像用渐近线来做的
- 8过点(-1,5),且与直线2分之x+6分之y=1垂直的直线方程是多少?
- 9初二几何——勾股定理在△ABC中,∠C=90°,AD和BE分别是BC边和AC边上的中线,已知AD=10,BE=4根号10
- 10已知a属于(0,派/2)b属于(派/2,派) 且sin(a+b)=33/65 cosb=-5/13 求sina
- 11英语翻译日历上的数字翻译成英语应该是怎样的 1到31
- 12已知:非P是q的必要条件,怎么能够推出p是非q的充分条件呢?
- 13英语翻译• All piping shall be installed so that normal ser
- 1499999+8888等于多少?
- 15解下列方程(1)48—X=(20-X)/5(2)5/(X+0.8)=4.5(4)10 ( X - 4) -8 (X -