分享到:

数学机械化与机械化数学

在人类发展的历史长河中,工业革命、工业经济的发展,使机器代替了人力劳动。进入信息时代,脑力  (本文共2页) 阅读全文>>

权威出处: 科技日报2001-04-06
西北大学
西北大学

明代机械化数学的发展及现代意义

本文在前人有关研究的基础上,以吴文俊先生的数学机械化理论和思想为指导,对中国历史上数学典籍中的一些具体算法置于中国和西洋古代数学的历史背景下进行分析,通过与国内进行纵向、与西洋进行横向比较和研究,由以下几个方面论述了明代机械化数学的发展与现代意义:一、数学机械化的思想方法,从现存中国最早的古籍中都可以见到萌芽,机械化数学到汉代的《九章算术》已经形成,以后一直到唐宋元是其初步发展阶段。并从算法基本机制要素:输入、运算、储存、输出上分析了发展的具体情况。二、数学机械化的思想方法到明代得到了高度发展和完善。其一是表现在实现算法的硬件——算盘的完善和规范化;其二是实现算法的软件——基本算法的规范化、歌诀化、程序化。使得计算不仅简捷,而且能够不假思索自动完成。在明代不仅基本算法高度完善,而且在算法技巧上也有所发展,算法解题程序和应用领域也扩大了,还有了算法一般化的发展趋势。同时,阐述了明代机械化数学发展的结果,不仅对明代数学教育的普及起着...  (本文共91页) 本文目录 | 阅读全文>>

《曲阜师范大学学报(自然科学版)》2006年03期
曲阜师范大学学报(自然科学版)

中国传统数学与数学机械化

中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在...  (本文共9页) 阅读全文>>

《上海交通大学学报(社会科学版)》2001年03期
上海交通大学学报(社会科学版)

吴文俊与数学机械化

机器证明的思想可以回溯到 17世纪的 Descartes与 Leibnize,2 0世纪初 Hilbert更明确地提出了公理系统的机械化判定问题。但是 ,随后的种种努力都未能使机器证明取得本质的进展。近 2 ...  (本文共6页) 阅读全文>>

《自然辩证法研究》1971年00期
自然辩证法研究

数学机械化思想的产生和发展

数学问题的机械化方法一般表现为机械化程序,而具有确定性、预见性、普适性和具体性的特点。数学机械化又是创造性思维和非创造性思维活动的统一。数学机械化思想来源于中国古算,并从笛卡尔著作中找到根据,其产生和...  (本文共5页) 阅读全文>>

《系统科学与数学》1990年04期
系统科学与数学

数学机械化研究中心成立

为加强我国数学机械化研究,建立良好的研究环境,在国家科委大力支持下,中国科学院批准系统科学研究所建立数学机械化研究中心.研究中心主任吴文俊教授...  (本文共1页) 阅读全文>>