数学家罗素曾经这样说过,“数学是这样的一门学问,它既不知道自己说的是什么,也不知道自己说得是否正确”(大意,找不到原文了)。这句话看上去很让人吃惊,毕竟大部分人认为数学是最精确最不会出错的学科。
其实他的话可以这么来理解。
数学的各种命题都会涉及到很多概念,有些概念是用另外的概念定义的。比如“三角形是三个首尾相接的线段组成的图形”,这里三角形是用线段来定义的。那么总会有些概念是无法定义的,这些被成为原子概念。比如几何学里面的“点”、“线”、“面”等。这样这些原子概念数学就不在追究它们究竟是什么,于是“数学就不知道自己说得是什么了”。
数学里面有很多定理,很多定理都是通过其它定理来证明的。三国时期吴国的赵爽曾经用“面积定理”来证明“勾股定理”,参见http://www.mmit.stc.sh.cn/telecenter/CnHisScience/ggdl.htm。这样一定也存在一些没有办法证明的定理,这些定理一般被称为公理。几何学里面比较有名的公理是“平行公理”,即过直线外一点只能作一条平行线,该公理被提出来以后的一千多年里一直有人试图证明它但都失败了。这些公理究竟是否正确,数学也是不关心的,所以说“数学也不知道自己说得是否正确”。
这么说,岂不是大事不妙,我们怎么能依赖这个胡说八道的数学呢?
其实,可以从两个方面来考虑。
首先,关于概念的问题,只是一个“名”和“实”的问题。数学大师希尔伯特也说,“我们必须可以用桌子、椅子、啤酒杯而不是点、线、面来同样展开我们的几何学”,原子概念不可定义又有什么关系呢,毕竟这些概念间的关系是才是最重要的也是我们最关心的。
其次,关于公理的问题,这个比较复杂,又涉及到三个问题。
其一是,数学公理和概念是否代表实际,代表到什么程度。你在地球表面上尽可能画两条平行的直线,因为地球是圆的,它们迟早要相交。在空间,光线的路径应该是直线吧,可是根据爱因斯坦的广义相对论,光线会被引力场弯曲。这样我们知道了,没有纯粹的点,也没有纯粹的直线和平面,所以概念以及概念之上的公理并不能完全地符合实际。但是在小范围内还是符合得很好,数学大师高斯和黎曼就证明了曲面局部性质和平面几何是一致的。
其二是,公理之间是不是协调的,有没有矛盾。有矛盾的意思是,在公理系统中通过逻辑推理可以推出互相否定的定理来。这个问题的一个附属问题是,公理之间是否是独立的,就是说,其中的某个公理是不是不需要,可以从别的公理推出来。研究某个公理是否独立,就是用将该公理以其否定了来代替看替换过后的体系是否是协调的来判定。哥德尔、科恩等逻辑学家已经证明了我们目前采用的数学公理体系是没有矛盾的相互独立的。
其三是,公理体系是不是完备的。完备的意思是,这个体系能否证明所有理论上可能的定理,当然其中的某些证明实际上可能需要很多时间和人力。哥德尔第一不完备性定理回答了这个问题,该定理说一切包含算术系统的公理体系,要么是有矛盾的,要么是不完备的。换句话说,所有包含算术系统在内的无矛盾的公理体系都是不完备的,有些定理是无法证明的。这个结果看上去很悲观,但实际上才充分说明了数学是不可穷尽的,是丰富多彩的。很多数论上有名的问题得不到回答可能就是这个原因。
嗯,从上面说的这些,我们可以看出,罗素的话看上去不可思议,其实正好说明了数学的严谨,也就是说数学对自己究竟能解决哪些问题不能解决哪些问题这个涉及到本身的问题也有着精确的回答。这,就是严密的精确的美丽的数学。
分享到:
相关推荐
西电排队论-网络工程数学基础笔记
离散数学基础》系统地介绍了离散数学四个部分的内容:集合论 代数结构 图论和数理逻辑 《离散数学基础》共分10章 主要包括集合 关系 函数;代数系统 群 环和域 格和布尔代数;图论;命题逻辑 谓词逻辑 内容的安排由...
现代数学基础丛书 递归论(莫绍揆).pdf
在本文中,我们将继续研究代数基础几何的作用。 我们研究的数学是抽象的,与应用程序相去甚远。... 我们采用的研究方法是使用HS Leonard的逻辑来提取数学证明的基础代数,然后将结果用于寻找作为数学结果基础的代数。
学习⼈⼯智能需要哪些必备的数学基础? 问题⼀:学习⼈⼯智能需要哪些必备的数学基础? 对于⼤多数的新⼿来说,如何⼊⼿⼈⼯智能其实都是⼀头雾⽔,⽐如到底需要哪些数学基础、是否要有⼯程经验、对于深度学习框架...
呵呵呵呵呵额呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵呵
深度学习通常又需要哪些数学基础?深度学习里的数学到底难在哪里?通常初学者都会有这些问题,在网络推荐及书本推荐里,经常看到会列出一系列数学科目,比如微积分、线性代数、概率论、复变函数、数值计算、优化理论...
离散数学基础教程,集合论、命题逻辑、树、图论、谓词逻辑等
模型论基础 走进数学建模世界 让你更好的运用数学知识到生活实际中
这篇引人注目的但困难的论文的第一个目的是通过比较这两... 该结果质疑了广义相对论(GR)和量规理论(GT)的数学基础。 特别是在研究引力波时,爱因斯坦算子(6个术语)因此必须由Ricci算子的伴随(仅4个术语)代替。
测度论是研究一般集合上的测度和积分的理论。它是勒贝格测度和勒贝格积分理论的进一步抽象和发展,又称为抽象测度论或抽象积分论,是现代分析数学中重要工具之一。 测度理论是实变函数论的基础。
书 名:3D数学基础:图形与游戏开发 作 者:[美] 邓恩(Dunn F.),[美] 帕贝利(Parberry I.) 著;史银雪,陈洪,王荣静 译 出 版 社: 清华大学出版社 出版时间:2005-07-01 ISBN:9787302109464 纸书...
适合硕士研究生学习矩阵论的数学基础,更适合深入学习的学生
计算机数学基础(1)(2)是计算机科学与技术专业的一门重要的基础课程,它是学习专业理论课不可缺少的数学工具。 本课程主要包括:数理逻辑、集合论、图论、代数系统和数值分析等内容,是一门理论性较强,应用性较广...
读者论论了3D中的方位,包括四元数和对不同表示技术之间的优劣比较。 描述了数学和几何的实际应用示例,提供了一些C++类和不同的矩阵类,每个类都完成特定的几何任务。 所有基本变换矩阵的完整来历。
全国大学生数学建模竞赛创办于1992年,每年一届,目前已成为全国高校规模最大的基础性学科竞赛,也是世界上规模最大的数学建模竞赛。2018年,来自全国33个省/市/区(包括香港、澳门和台湾)及美国和新加坡的1449所院校...
数学建模是利用数学工具解决实际问题的...针对专科普系的学清特点教师要善于在教学中把数学的概念法则和解题方法进行模型化,使学生既能掌握数学的基础知识,又能应用数学知识解决生活和生产中出现的问题。参考优秀论文
shannon的经典论文
其中包括以下内容:√2的发现和毕达哥拉斯学派的危机、欧几里得的局限和几何基础研究的意义、神秘的微分学和分析算术化、布尔代数和现代逻辑的发展、集合和关系、无穷集合和数学基础的第三次危机、公理化集合论的...
第一章 导论 第二章 完全信息静态博弈 第三章 完全信息动态博弈 第四章 不完全信息静态博弈 第五章 不完全信息动态博弈 第六章 信息经济学简介