《计算机引起的数学哲学反思》共分为五章,具体内容如下:**章回顾了计算工具的演变,特别是由于科学技术的发展而促使电子计算机的产生。叙述了计算机功能从数值计算到定理证明和数学实验的变化,提供计算机变革传统数学研究方式——一张纸、一支笔和几本参考书的资料。第二章考察了计算机在数学应用中的两个具体案例:四色猜想的计算机证明和分形几何的建立。从人们对它们的争议:计算机是否可靠?计算机证明是不是数学证明?计算机是否要变革数学研究方式?分形几何是不是数学?指出其背后隐含的实质是人们的数学观,即数学的性质是什么。第三章面对数学家关于计算机引起的数学中新生事物的褒贬,作者肯定计算机变革数学研究方式的意义,并从两个方面加以说明。一方面加速了数学的发展:不仅开辟了数学机械化的新领域,还扩大了数学研究的领域;另一方面揭示了隐藏在计算机中的算法与公理法的辩证关系,为第五章论述数学的性质埋下伏笔。第四章是关于吴方法①引起的对中国传统数学的反思。吴方法的成功不仅表明中国古代数学的算法化、机械化特色对于数学发展的意义,也为人们认识数学算法化与演绎性的辩证统一的性质提供了证据。第五章通过考察数学哲学史上人们对数学性质的各种观点,并引用一些数学大师对数学性质的经验性与演绎性的论述,首先肯定数学性质的两重性,然后论述经验性与演绎性的辩证关系,从而阐明数学本质上是二者辩证统一的观点。
《计算机引起的数学哲学反思》:第三节 作为数学实验的工具数学与自然科学的*大区别是数学里没有实验。在公众中,几乎没有人能够意识到这其实是一个错误的认识。然而事实上,数学中实验的历史却与数学本身一样悠久。从中学到大学,我们学习的大部分概念(定义、公理、定理)都是经过几代人的观察、试验和归纳发现的,这种概念的来源方式显然与自然科学中的知识来源是相类似的。例如,毕达哥拉斯定理、三角形三内角和定理等都是数学实验的产物。大数学家高斯(Johann Carl Friedric hGauss,1777-1855)就声称自己获得数学真理的方法是“通过系统的实验”,实际上对于其他的很多数学家也一样。数学的进展都是始于对例子的实验,可是长期以来,数学中的实验成分由于数学家工作的文化环境——数学的*终成果都要以证明定理的形式出现,所以证明之前的实验(试验)过程就被掩盖起来。数学研究对象的特殊性决定了其成果的*终检验不同于自然科学中成果的检验,它的定理不能用实验证实,而必须用逻辑演绎推理证明,所以逻辑证明成为数学研究的一个*大的特点。但是,数学家在发现、证明定理之前,总是要经历一个探索、试验的阶段,即通过对大量的计算和推理进行试探或试验,使个别实例上升为一般猜想,然后再探索证明的思路。这其中当然可能要经过一次又一次的反驳或者是遇到反例,*后才获得逻辑上的证明。显然,数学家做出*后证明之前的工作是具有实验性的活动,因此称证明之前的活动为数学实验是非常合理的。数学实验不同于自然科学中的实验。前者是一种思想实验,而后者是一种实物实验。虽然两种实验的形式不同,但在本质上是一样的(从功能来看)。“数学家们一直都在做实验。他们心不在焉地乱写乱画,不停地尝试各种例子。这是数学之单调乏味的一部分。变化了的是实验的规模。过去数学家们可能花几个小时乃至几天进行演算的领域,在今天则可能要花费数月乃至数年”①。是的,计算机技术的发展扩大了数学实验的规模,现在有越来越多的数学家用计算机作为实验工具。数学实验的提出不仅会促进数学的发展,作为一种实验形式,也是科学实验的一种补充。计算机作为计算工具,大家没有疑义。然而作为数学实验工具、定理证明工具,却使大部分人都感到惊疑。首先,人们惊讶数学里竟然有实验,实验向来是专属于自然科学的。其次,人们怀疑计算机执行实验和定理证明的可靠性。但是无论如何,数学界已经有相当一部分人把计算机作为数学研究的实验工具,也有相当一部分人在用计算机证明数学定理,特别地,他们还用计算机发明新的数学定理。在《新潮数学》中有这样的描述:“新一代的数学家们正向定理与证明这种古老的传统发起挑战。新潮数学家们更喜欢在计算机上使思想不受约束地进行实验。但是保守传统的人担心他们会失去一些特别的东西。”“是计算机导致了这种令人不安的转变。由一代数学家们发明却被其后的一代当作玩具而抛弃的这种方便的算法执行器现在又来困扰当代数学家们了。通过给予数学家们在自己的办公桌上进行几十亿次复杂计算的能力,计算机已经酝酿出了进行数学研究的一种全新的研究手段,即人们所知的实验数学,”“实验数学家和大多数其他的科学家一样通过归纳的方法,而不是通过逐步演绎出证明的方法来获取知识。所不同的是,别的科学家们设计针对现实世界的各个部分的实验,而新一代数学家们则通过搜寻只存在于计算机中的抽象世界的图案来进行实验。在过去,一项数学研究的成果将是一篇关于命题的证明或反驳的科学论文,现在它却可以包含一些色彩鲜艳的图案和一声充满快乐的惊呼:'看,我发现了什么!'”……
行楷-初中生必背古诗文钢笔字帖 本书特色 本书由著名书法家吴玉生老师书写。只要你树立信心,循序渐进,掌握方法,坚持不懈,自然会练出一手好字,还能获取卷面高分。行...
《司乘人员健康锦囊》内容简介:司乘人员常年工作于人多、繁杂、动荡的环境,精神长时间高度紧张,无法保证新鲜的饮食和规律的睡眠
沥青路面家铺级配碎石结构补强施工技术 本书特色 《沥青路面加铺级配碎石结构补强施工技术》结合某沥青路面改造工程,通过研究级配碎石材料的非线性特性,对级配碎石非线...
钢铁是怎样炼成的-文学读物注音版 本书特色 适读人群 :6-12教育部《全日制义务教育语文课程标准》推荐书目,让学龄孩子慢慢养成独立阅读的能力,学会运用多种阅读...
单词寻根记忆魔法 本书特色 新东方明星主讲揭秘字母的前世今生,让记单词像学母语一样顺其自然四色全彩,图文并茂,字母形成,单词规律,一网打尽!单词寻根记忆魔法 内...
书册阅读教学现场 本书特色 书册阅读是将书册作为阅读对象的阅读,也就是整本书阅读。本书从 “书册名片”、“教学价值&rdqu...
《MATLAB编程(第2版)(英文影印版)》为国外高校电子信息类优秀教材(英文影印版)之一。《MATLAB编程(第2版)(英文影印版)》详细讲述
水资源综合利用 本书特色 阅读由周维博编著的这本《水资源综合利用》,可以使学生比较全面地掌握水资源开发利用方面的知识,能够解决水资源开发利用中所遇到的各种实际问...
初中地理概念地图 本书特色 概念地图,可视化的思维工具,强有力的学习、助记策略概念地图,分层级梳理概念的知识导源图,展示知识整合路线初中地理概念地图 内容简介 ...
趣味英语系列--大自然英语趣说 内容简介 大自然的景色变化万千。昼夜的更迭、季节的变换、日月星辰、山川地貌。都令我们惊叹。这些景象的英文名称你大概都已经学过不少...
商务日语语基础教程-1-(含光盘) 本书特色《商务日语基础教程1》紧紧围绕日语专业教学大纲,参考日语国际等级考试要求,突出基础性与实用性相结合的编写特色,从日语...
格列佛游记-文学名著英汉双语读物-第二级 本书特色 《格列佛游记》是英国*名作家J.斯威夫特的一 部杰出的游记体讽刺小说,作者用丰富的讽刺手法和 虚构的离奇情节...
人人都可以是投资高手 内容简介 全国**套新概念超轻松商务英语读本,白领精英、年轻英俊**职场精囊! 《人人都可以是投资高手》——金融投资是商战中的“原子战”,...
嘻哈身体操2:手指运动员 本书特色 适读人群 :5-10岁小学生们课间都在做什么?坐着发呆、补作业、聊电脑游戏、在操场上打闹忘记回教室上课。读完这本书,在教室里...
会飞的教室-青少年阅读经典文库 本书特色 《青少年阅读经典文库 会飞的教室》是由哈尔滨出版社出版的一本儿童文学读物。《会飞的教室》是德国著名儿童文学大师卡斯特纳...
爱丽丝漫游仙境-语文必读经典名师解读 本书特色 经典与名著是人类文明的积累和文化思想的结晶,凝结了人类的智慧,对人类历史产生了重大的影响;经受了时间的考验,并得...
面积关系帮你解题-第2版 本书特色 ①张景中院士是我国科普作家协会理事长;②本书是张景中院士的经典数学科普书之一;③数形结合,将面积与解题几何联系起来。面积关系...
《文化研究(第29辑·2017年夏)》内容简介:本书“文化地理与文化研究”专题通过文本书写的再语境化,对文本环境的共时性差异和书
高中物理解题方法与技巧-最新版- 本书特色 为了帮助广大中学生提高科学思维的能力,熟练运用各种解题方法与技巧,根据新课程标准的要求,体现新课程标准的理念,紧扣现...
通用中小学奥赛教材-小学六年级数学(第四版) 内容简介 首先,在数学课堂上总会有部分同学感到“吃不饱”,应该为这些“学有余力”,并且实实在在地对数学有兴趣的学生...