中国科学院自然科学史研究所机构知识库
Advanced  
IHNS OpenIR  > 科学技术史  > 中国古代科技史  > 期刊论文
题名: 数学机械化思想的产生和发展
作者: 傅海伦
刊名: 自然辩证法研究
出版日期: 1997-10
卷号: 13, 期号:10, 页码:31-35
学科分类: 科技史::数学史
中文摘要: 数学问题的机械化方法一般表现为机械化程序,而具有确定性、预见性、普适性和具体性的特点。数学机械化又是创造性思维和非创造性思维活动的统一。数学机械化思想来源于中国古算,并从笛卡尔著作中找到根据,其产生和发展主要经历了从笛卡尔、莱布尼兹等数学家和哲学家的思想奠基,到希尔伯特定理证明机械化思想从理论上的明确提出,再到定理的机器证明等几个重要的发阶段。吴文俊机械化定理的创立,为数学的机械化奠定了坚实的基础,并使数学研究的面貌改观。但数学机械化的道路漫长而艰难,建立具有中国特色的机械化数学体系依然任重而道远。
语种: 中文
内容类型: 期刊论文
URI标识: http://ir.ihns.ac.cn/handle/311051/2546
Appears in Collections:科学技术史_中国古代科技史_期刊论文

Files in This Item: Download All
File Name/ File Size Content Type Version Access License
数学机械化思想的产生和发展_傅海伦.pdf(166KB)----开放获取View Download

Recommended Citation:
傅海伦.数学机械化思想的产生和发展.自然辩证法研究,1997,13(10):31-35
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