中国科学院自然科学史研究所机构知识库
Advanced  
IHNS OpenIR  > 科学技术史  > 中国古代科技史  > 期刊论文
题名: 中国传统数学与数学机械化
作者: 郭书春
刊名: 曲阜师范大学学报(自然科学版)
出版日期: 2006-07
卷号: 32, 期号:3, 页码:1-9
关键词: 中国传统数学 ; 数学机械化 ; 吴文俊
学科分类: 科技史::数学史
中文摘要: 中国传统数学在三代萌芽,经过春秋的发展,到战国至西汉以《九章算术》的编纂为代表,进入第一个高潮,在许多领域跃居世界前列.魏晋南北朝是第二个高潮,刘徽以演绎逻辑为主要方法全面证明了《九章算术》的公式、解法,奠定了中国传统数学的理论基础,并在世界数学史上首次将无穷小分割方法引入数学证明.第三个高潮发生在宋元,贾宪、秦九韶、李冶、朱世杰等创造了欧洲数学大师17-19世纪才得出的许多重大成就.上世纪70年代吴文俊指出,中国古代数学的算法具有构造性、机械化的特点,并出现几何问题代数化的思想.西方数学史家一直将中国排除在世界数学发展的主流之外.吴文俊提出“在历史的长河中,数学机械化算法体系与数学公理化演绎体系曾多次反复互为消长交替成为数学发展中的主流”,从而从理论上解决了中国传统数学是世界数学发展主流的一部分的问题.微积分的产生也证明中国传统数学属于世界数学发展的主流.微积分产生时的推理模式不是希腊式的,而是接近中国式的.吴文俊受到中国传统数学的构造性、机械化特色以及几何问题代数化思想的启发,产生了数学机械化思想,发展了笛卡儿、莱布尼茨、希尔伯特等的设想,创立了数学机械化理论.他首先在初等几何定理的机器证明方面取得突破.接着,提出了一个将问题化为代数方程组求解的数学机械化方案.他从朱世杰的四元消法得到启示,发现了三角化整序法,是目前唯一完整求解代数方程组的方法.吴文俊指出,继续发扬中国古代传统数学的机械化特色,实现数学各个不同领域的机械化,是绵亘整个21世纪才能大体趋于完善的事.
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.ihns.ac.cn/handle/311051/2182
Appears in Collections:科学技术史_中国古代科技史_期刊论文

Files in This Item: Download All
File Name/ File Size Content Type Version Access License
中国传统数学与数学机械化.pdf(270KB)----开放获取View Download

Recommended Citation:
郭书春.中国传统数学与数学机械化.曲阜师范大学学报(自然科学版) ,2006,32(3):1-9
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[郭书春]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[郭书春]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
文件名: 中国传统数学与数学机械化.pdf
格式: Adobe PDF
此文件暂不支持浏览
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

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

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院自然科学史研究所 - Feedback
Powered by CSpace