KMS Of Academy of mathematics and systems sciences, CAS
计算机时代的脑力劳动机械化与数学机械化 | |
吴文俊 | |
2003 | |
发表期刊 | 黑龙江大学自然科学学报
![]() |
ISSN | 1001-7011 |
卷号 | 020期号:002页码:1 |
摘要 | 主要介绍了脑力劳动机械化和数学机械化的发展历史以及研究现状。17世纪以来,工业革命使人们逐渐实现了体力劳动的机械化,促进了社会生产力的发展。本世纪电子计算机的产生,则为人类实现脑力劳动的机械化创造了物质条件。在目前这一以计算机为标志的信息革命时代,数学应该有什么样的创新与之相适应呢?回顾数学发展史,主要有两种思想:一是公理化思想,另一是机械化思想。前者源于希腊,后者则贯穿整个中国古代数学。这两种思想对数学发展都曾起过巨大作用。从汉初完成的《九章算术》中对开平方、开立方的机械化过程的描述,到宋元时代发展起来的求解高次代数方程组的机械化方法,无一不与数学机械化思想有关。公理化思想在现代数学,尤其是纯粹数学中占据总统治地位。然而,其在数学上的多次重大跃进都与机械化思想有关。正是基于这种考虑,吴文俊先生倡导数学机械化研究。 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/49077 |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | 吴文俊. 计算机时代的脑力劳动机械化与数学机械化[J]. 黑龙江大学自然科学学报,2003,020(002):1. |
APA | 吴文俊.(2003).计算机时代的脑力劳动机械化与数学机械化.黑龙江大学自然科学学报,020(002),1. |
MLA | 吴文俊."计算机时代的脑力劳动机械化与数学机械化".黑龙江大学自然科学学报 020.002(2003):1. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[吴文俊]的文章 |
百度学术 |
百度学术中相似的文章 |
[吴文俊]的文章 |
必应学术 |
必应学术中相似的文章 |
[吴文俊]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论