IHNS OpenIR  > 中国古代科技史
中国传统数学与数学机械化
郭书春
2006-07
Source Publication曲阜师范大学学报(自然科学版)
Volume32Issue:3Pages:1-9
Other Abstract中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在世界数学发展的主流之外.吴文俊提出“在历史的长河中,数学机械化算法体系与数学公理化演绎体系曾多次反复互为消长交替成为数学发展中的主流”,从而从理论上解决了中国传统数学是世界数学发展主流的一部分的问题.微积分的产生也证明中国传统数学属于世界数学发展的主流.微积分产生时的推理模式不是希腊式的,而是接近中国式的.吴文俊受到中国传统数学的构造性、机械化特色以及几何问题代数化思想的启发,产生了数学机械化思想,发展了笛卡儿、莱布尼茨、希尔伯特等的设想,创立了数学机械化理论.他首先在初等几何定理的机器证明方面取得突破.接着,提出了一个将问题化为代数方程组求解的数学机械化方案.他从朱世杰的四元消法得到启示,发现了三角化整序法,是目前唯一完整求解代数方程组的方法.吴文俊指出,继续发扬中国古代传统数学的机械化特色,实现数学各个不同领域的机械化,是绵亘整个21世纪才能大体趋于完善的事.
Keyword中国传统数学 数学机械化 吴文俊
Subject Area数学史
Language中文
Document Type期刊论文
Identifierhttp://ir.ihns.ac.cn/handle/311051/2182
Collection中国古代科技史
Recommended Citation
GB/T 7714
郭书春. 中国传统数学与数学机械化[J]. 曲阜师范大学学报(自然科学版),2006,32(3):1-9.
APA 郭书春.(2006).中国传统数学与数学机械化.曲阜师范大学学报(自然科学版),32(3),1-9.
MLA 郭书春."中国传统数学与数学机械化".曲阜师范大学学报(自然科学版) 32.3(2006):1-9.
Files in This Item: Download All
File Name/Size DocType Version Access License
中国传统数学与数学机械化.pdf(270KB) 开放获取LicenseView Download
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[郭书春]'s Articles
Baidu academic
Similar articles in Baidu academic
[郭书春]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[郭书春]'s Articles
Terms of Use
No data!
Social Bookmark/Share
File name: 中国传统数学与数学机械化.pdf
Format: Adobe PDF
This file does not support browsing at this time
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.