浅析数学与逻辑的关系.doc

数学史论文 《浅析数学与逻辑的关系》 学 院 专 业 年 级 班 级 It 名 学 教 师 数学与统计学院 学与应用数学 2014 级 连雪晶 学年度: “y 20140655011247 赵博 浅析数学与逻辑的关系 连雪晶（长江师范学院数学与统计学院 连雪晶 （长江师范学院数学与统计学院 重庆涪陵408100） 在几千年的发展中，数学经历了种种的变化和发展，数学的思维和内容也越来越深 刻和复杂，当古希腊把逻辑学中的演绎证明引入到数学中去，数学发展的道路又迎来了一个 新的方向。而山自逻辑学中的演绎证明是逻辑学中非常重要的一个理论，同吋也对学术乃至 人们的生活有着非常大的影响作用。那么身为人类发展必不可少的重要学科：数学，与同样 对人类进步十分重要的演绎证明，两者会擦出怎样的火花？本文将针对数学与逻辑的关系作 出浅析。 关键字：数学、逻辑学、演绎证明、发展、科学 正文： 一、数学的科学发展史 数学，源自于古希腊语的“有学习、学问、科学”之意。古希腊学者视其为哲学之起点， “学问的基础”、另外，还有个较狭隘且技术性的意义一一“数学研究”、即使在其语源内， 其形容词意义凡与学习有关的，亦会被用来指数学的。 从前3500的古埃及数学、古巴比伦数学开始，数学的发展可以大致分为以下三个阶段: （一）、初等数学时期 初等数学吋期是指从原始人吋代到17世纪中叶，这期间数学研究的主要对象是常数、 常量和不变的图形。 在这一吋期，数学经过漫长时间的萌芽阶段，在生产的基础上积累了丰富的有关数和形 的感性知识。到了公元前六世纪，希腊几何学的出现成为第一个转折点，数学从此由具体的、 实验的阶段，过渡到抽象的、理论的阶段，开始创立初等数学。此后又经过不断的发展和交 流，最后形成了几何、算术、代数、三角等独立学科。这一时期的成果可以用“初等数学” 来概括，它大致相当于现在中小学数学课的主要内容。 世界上最古老的几个国家都位于大河流域：非洲的尼罗河、两亚的底格里斯河与幼发拉 底河、中南亚的印度河与恒河、东亚的黄河与长江。大约在公元前3000年左右，位于这四 大河流域的叫大文明古国一一巴比伦、埃及、中国、印度山现了萌芽吋期的数学。 埃及一几何的故乡 埃及人的莱因德纸草书用很大的篇幅来记载2/N（N从5到101）型的分数分解成单位分数 的结果。为什么要这样分解以及用什么方法去分解，还是一个谜。这种繁杂的分数算法实际 上阻碍了算术的进一步发展。 不过此吋的埃及人就已经掌握了加、减、乘、除四种运算。会算一些平面图形的面积及 一些立体的体积。就如埃及的金字塔，建于公元前三千年至公元前一千多年，却仍然留下了 许多数学之谜。 印度一阿拉伯数字的诞生地 印度数学的发展晚于埃及、巴比伦、希腊和中国。印度人的特殊贡献有：阿拉伯数字0, 1，2, 3, 4, 5, 6, 7, 8, 9是印度人的一大发明，他们大约在公元前4世纪就幵始使用这 种数字，直到公元8世纪才传入阿拉伯国家，后经阿拉伯人传入欧洲。 巴比伦一代数的源头 巴比伦人的代数知识相当丰富，主要用文字表达，偶尔使用记号表示未知量。有一道S古 老的问题是:已知正方形面积与边长的差为14; 30〔60进位制数，即14（60）+30=870），求正方 形边长。这相当于求解方程x2-px=q （此吋p=l，q=870） 巴比伦人还讨论了某些三次方程和可化为二次方程的叫次方程。他们已经可以掌握计算 简单平面图形面积和简单立体体积的方法，如用公式max求高为h的平截头方锥（下底面 积上底面积bA2）的体积。巴比伦人在公元前3世纪已较频繁地用数学方法记载和研 宄天文现象，如记录和推算月球与行星的运动，他们将圆周分为360度的做法一直沿用至今。 中国一 10进制记数法 中国古代数学的萌芽原始公社末期，私有制和货物交换产生以后，数与形的概念有了进 一步的发展，仰韶文化吋期山土的陶器，上面已刻有表示1234的符号。到原始公社末期， 已开始用文字符号取代结绳记事了。 西安半坡出土的陶器有用1?8个圆点组成的等边三角形和分正方形为100个小正方形 的图案，半坡遗址的房屋基址都是圆形和方形。为了画圆作方，确定平直，人们还创造了规、 矩、准、绳等作图与测量工具。据《史记本纪》记载，S禹治水时己使用了这些工具。 （二） 、变量数学时期 变量数学吋期从17世纪中叶到19世纪20年代，这一吋期数学研究的主要内容是数量 的变化及几何变换。这一吋期的主要成果是解析几何、微积分、高等代数等学科，它们构成 了现代大学数学课程（非数学专业）的主要内容。 十六、十七世纪，欧洲封建社会开始解体，代之而起的是资本主义社会。由于资本主义 工场手工业的繁荣和向机器生产的过渡，以及航海、军事等的发展，促使技术科学和数学急 速向前发展。原来的初等数学已经不能满足实践的需要，