数学史 第八讲精品文稿.ppt

数学史 第八讲第1页，本讲稿共17页3.3.数数理理逻辑逻辑数理逻辑是公理化、集合论与形式逻辑相结合的产物。有数理逻辑是公理化、集合论与形式逻辑相结合的产物。有这样几种说法：这样几种说法：“数学是建立在集合论与数理逻辑两块基数学是建立在集合论与数理逻辑两块基石上的石上的”（胡作玄）；（胡作玄）；“数学理论源于公设集与逻辑这两数学理论源于公设集与逻辑这两个因素的相互作用个因素的相互作用”（H.H.伊夫斯）；我们说伊夫斯）；我们说“数学是建立数学是建立在实数和数理逻辑上的在实数和数理逻辑上的”。尽管各种说法在形式上有所不。尽管各种说法在形式上有所不同，但逻辑或说数理逻辑总是其公共部分，可见数理逻辑同，但逻辑或说数理逻辑总是其公共部分，可见数理逻辑在数学中的基础作用了。在数学中的基础作用了。纯数学致力于从已有概念和结论得到出新的结论，数理逻纯数学致力于从已有概念和结论得到出新的结论，数理逻辑则不然，它致力于从逻辑学的辑则不然，它致力于从逻辑学的“演算演算”出发，根据某些出发，根据某些基本事实，推出数学赖以存在的基石和生长点。基本事实，推出数学赖以存在的基石和生长点。第2页，本讲稿共17页现代数理逻辑在如下四个分支上是很活跃的。现代数理逻辑在如下四个分支上是很活跃的。（1 1）证明论）证明论又叫元数学，由弗雷格创立于又叫元数学，由弗雷格创立于18931893年，后为希尔伯特及其年，后为希尔伯特及其学派发展成一门独立分支。它的主要任务是要证明数学中学派发展成一门独立分支。它的主要任务是要证明数学中的的“相容性相容性”（也叫无矛盾性）。不过希尔伯特早期想用（也叫无矛盾性）。不过希尔伯特早期想用“有限有限”步来完成对整个数学的相容性证明是不现实的，步来完成对整个数学的相容性证明是不现实的，当哥德尔不完全性定理表时当哥德尔不完全性定理表时“有限步有限步”的设想不可能后，的设想不可能后，才被修改成才被修改成“无穷步证明数学的相容性无穷步证明数学的相容性”。甘岑的。甘岑的“超穷超穷归纳法归纳法”对对“无穷步证明无穷步证明”贡献也较大，但至今仍没有完贡献也较大，但至今仍没有完成原来拟定的任务，比如关于数学分析的相容性证明，都成原来拟定的任务，比如关于数学分析的相容性证明，都还有待继续发努力。还有待继续发努力。第3页，本讲稿共17页（2 2）递归论）递归论它属于硬数学，探讨对一个函数能否用有限步进行有效计算问题。简称有效可计它属于硬数学，探讨对一个函数能否用有限步进行有效计算问题。简称有效可计算问题。所谓算问题。所谓“有效有效”即是要得到精确结果。即是要得到精确结果。能进行有效可计算的函数叫做递归函数。递归函数是一种简单的离散动力体系模能进行有效可计算的函数叫做递归函数。递归函数是一种简单的离散动力体系模型。递归论研究的主要对象是递归函数。型。递归论研究的主要对象是递归函数。作为递归函数研究的深入，是探讨非递归函数，从而得出判定问题和非作为递归函数研究的深入，是探讨非递归函数，从而得出判定问题和非判定问题概念。一般判定问题是，对一个具体公式或定理，证明是否存判定问题概念。一般判定问题是，对一个具体公式或定理，证明是否存在一个有限可实现的步骤，使之被形式地推导出来，第一个提出判定问在一个有限可实现的步骤，使之被形式地推导出来，第一个提出判定问题的是希尔伯特以其题的是希尔伯特以其“第十个问题第十个问题”决定戴氏方程的可解性。该决定戴氏方程的可解性。该问题已于问题已于19721972年为一苏联青年人马吉亚色维奇解决，其方法十分初等，年为一苏联青年人马吉亚色维奇解决，其方法十分初等，令同行长辈们惊讶不矣。令同行长辈们惊讶不矣。判定问题又叫计算复杂性问题，这是计算机科学中一个重要理论分支。判定问题又叫计算复杂性问题，这是计算机科学中一个重要理论分支。对对“计算复杂性计算复杂性”之复杂性，曾有人戏称，若谁解决了它，当授予两吨重之复杂性，曾有人戏称，若谁解决了它，当授予两吨重金质勋章，并全世界数学家放假四日，以示庆贺。金质勋章，并全世界数学家放假四日，以示庆贺。第4页，本讲稿共17页3 3）模型论）模型论模型论产生于模型论产生于19501950年左右，年左右，“模型模型”是一种数学结构，它是一种数学结构，它常常是人为构造的，其目的是为了解释数理论逻辑上某种常常是人为构造的，其目的是为了解释数理论逻辑上某种或某组语句（一组语言的闭公式）。对于一个语句，若能或某组语句（一组语言的闭公式）。对于一个语句，若能构造出一个模型使得语句在该模型中成为构造出一个模型使得语句在该模型中成为“可满足的可满足的”，则该语句为真。则该语句为真。有人把语句比作语法，模型比作语义。亦即这时的模型相有人把语句比作语法，模型比作语义。亦即这时的模型相当于在语句所给语法范围内，构造出一个例句来，若构造当于在语句所给语法范围内，构造出一个例句来，若构造成功，则该语句是成功，则该语句是“合理合理”的。的。显然，模型论的关键在于构造模型，这是很难的具有高度显然，模型论的关键在于构造模型，这是很难的具有高度技巧性的内容，是需要专门研究的课题，目前已创造出若技巧性的内容，是需要专门研究的课题，目前已创造出若干建模的方法，诸如初等链法、图式法、力迫法、超积法、干建模的方法，诸如初等链法、图式法、力迫法、超积法、齐性集合法、紧性定理法等等。齐性集合法、紧性定理法等等。第5页，本讲稿共17页4 4）公理集合论）公理集合论 在本章第二节已简单介绍，公理集合论是继哥德尔不完全定理之在本章第二节已简单介绍，公理集合论是继哥德尔不完全定理之后，为了谨慎探索集合论的性质，分别提出来的若干公理系统，后，为了谨慎探索集合论的性质，分别提出来的若干公理系统，从而也是一定的限制范围内研究集合的理论。这的确是很凑效的，从而也是一定的限制范围内研究集合的理论。这的确是很凑效的，每个公理系统都为数理逻辑或纯数学作出了重要贡献。其中最早每个公理系统都为数理逻辑或纯数学作出了重要贡献。其中最早完成也是最有名、贡献最大的公理系是策梅罗的选择公理系，好完成也是最有名、贡献最大的公理系是策梅罗的选择公理系，好多有名定理的证明都不少不了选择公理系。多有名定理的证明都不少不了选择公理系。第6页，本讲稿共17页4.4.数学数学哲哲学学哲学是一个认识科学，它把经验和现象上升成理念，以认识事物的本质，因此任哲学是一个认识科学，它把经验和现象上升成理念，以认识事物的本质，因此任何一门科学，包括对社会、人生的理解，只要触及到本质，可以说就进入了哲学。何一门科学，包括对社会、人生的理解，只要触及到本质，可以说就进入了哲学。在这方面数学更为典型。在这方面数学更为典型。历史一开始，数学与哲学就是孪生兄弟，数学方法为哲学的方法论所倾历史一开始，数学与哲学就是孪生兄弟，数学方法为哲学的方法论所倾慕，而数学方法探源则成了哲学的认识论。这就不难理解数学史上任何慕，而数学方法探源则成了哲学的认识论。这就不难理解数学史上任何时期都不乏身兼数、哲两职的数学家了，原来这正是数学自身的需要时期都不乏身兼数、哲两职的数学家了，原来这正是数学自身的需要。即然是哲学，就少不了争论，在这场数学哲学的争论中主要希望解决逻辑与数学即然是哲学，就少不了争论，在这场数学哲学的争论中主要希望解决逻辑与数学的关系、什么是数学等问题，在争论中形成了三大学派，他们共同的目标是，试的关系、什么是数学等问题，在争论中形成了三大学派，他们共同的目标是，试图用自己的一套理论去统览数学。图用自己的一套理论去统览数学。第7页，本讲稿共17页1 1）直觉主义学派）直觉主义学派其代表人物其代表人物L.L.布劳威尔（布劳威尔（1881196618811966）。知道布劳威尔不）。知道布劳威尔不动点定理的读者不少，但知道他对数学的哲学观点者，就动点定理的读者不少，但知道他对数学的哲学观点者，就不一定多了。直觉主义的特点是不一定多了。直觉主义的特点是“植根于数学的构造性植根于数学的构造性”。这是算术计算形式的深化与扩充，属枚举数学、穷竭法等这是算术计算形式的深化与扩充，属枚举数学、穷竭法等思想体系，也可以叫它做思想体系，也可以叫它做“硬数学硬数学”。它既不同于现实世。它既不同于现实世界中的感觉（经验主义），也不同于逻辑主义中的界中的感觉（经验主义），也不同于逻辑主义中的“演算，演算，”它认为逻辑规律并不对数学有任何约束作用，数学是自它认为逻辑规律并不对数学有任何约束作用，数学是自由的，他们不承认无理数、不承认无穷性的阶和超势等抽由的，他们不承认无理数、不承认无穷性的阶和超势等抽象的概念；他们坚持康德的观点，认为算术是在时间基础象的概念；他们坚持康德的观点，认为算术是在时间基础上的直觉，而数学是建立在算术基础上的，所以数学应该上的直觉，而数学是建立在算术基础上的，所以数学应该是是“直觉直觉”的；他们试图构造一个不依靠排中律的集合论，的；他们试图构造一个不依靠排中律的集合论，为此还于为此还于19091909年直接与希尔伯特通信辩论过。年直接与希尔伯特通信辩论过。第8页，本讲稿共17页2 2）形式主义学派）形式主义学派尽管希尔伯特自己并不承认其形式主义，但举世公认形式尽管希尔伯特自己并不承认其形式主义，但举世公认形式主义学派的代表人物是希尔伯特，他的信条是主义学派的代表人物是希尔伯特，他的信条是“数学与形数学与形式符号有关式符号有关”。他是在完成。他是在完成几何学原理几何学原理（18991899）的基）的基础上础上“建立起建立起”这一学派的，他提出了一套这一学派的，他提出了一套“宏伟宏伟”计划，计划，试图把整个数学无矛盾地纳入一套完备的形式符号体系，试图把整个数学无矛盾地纳入一套完备的形式符号体系，由此产生了所谓由此产生了所谓“元数学元数学”以解决形式系统的以解决形式系统的“相容性相容性”问题，这些理论已完全表述在其失败巨著问题，这些理论已完全表述在其失败巨著数学基础数学基础一、一、二卷上（二卷上（1934193919341939）。虽然这套计划被哥德尔不完全性）。虽然这套计划被哥德尔不完全性定理（定理（19301930）打破了，整个数学形势也为之改观了，但形）打破了，整个数学形势也为之改观了，但形式主义也仅仅式主义也仅仅“被泼了一瓢凉水被泼了一瓢凉水”，其结果不是冷却了。，其结果不是冷却了。而是变得更清醒了。而是变得更清醒了。第9页，本讲稿共17页3 3）逻辑主义学派）逻辑主义学派其代表人物是罗素，他的信条是其代表人物是罗素，他的信条是“数学属于逻辑学数学属于逻辑学”，因，因此他致力于从逻辑角度推出全部数学，或说企图把数学还此他致力于从逻辑角度推出全部数学，或说企图把数学还原为逻辑学。他在其著作原为逻辑学。他在其著作数学原理数学原理中说，中说，“数学是所数学是所有形如有形如P P蕴含蕴含q q的命题集，其中的命题集，其中p p、q q都含相同数目的一都含相同数目的一元或多元命题元或多元命题“，他企图在，他企图在”类类“和和”关系关系“的概念下，的概念下，通过命题演算和谓词演算推出通过命题演算和谓词演算推出”自然数系自然数系“，并由此演生，并由此演生算术乃至整个数学，大有把数学一并囊括到逻辑学的架势。算术乃至整个数学，大有把数学一并囊括到逻辑学的架势。不过在包括他本人也发现了悖论之后，使得他不过在包括他本人也发现了悖论之后，使得他“可以把数可以把数学还原成逻辑学还原成逻辑”的猜想遇到了困难。但这并未使他屈服，的猜想遇到了困难。但这并未使他屈服，仅使他把逻辑主义的方向转为仅使他把逻辑主义的方向转为“在消除悖论的基础上在消除悖论的基础上”，“仍然致力于把数学还原为逻辑学仍然致力于把数学还原为逻辑学”这一目标，这也是罗这一目标，这也是罗素与怀特海德的名著素与怀特海德的名著数学原理数学原理（19131913）的动因和努力）的动因和努力方向。方向。第10页，本讲稿共17页为什么具有如此殊异和相互矛盾的三大流派：为什么具有如此殊异和相互矛盾的三大流派：“直觉主义直觉主义”、“形式主义形式主义”和和“逻辑主义逻辑主义”能够同时存在一个严紧的数学能够同时存在一个严紧的数学体系内呢？仔细想来，这不本身就回答了体系内呢？仔细想来，这不本身就回答了“为什么数学会有不为什么数学会有不完全性完全性”的问题了吗？要是数学真的的问题了吗？要是数学真的“完全完全”，它就不能容，它就不能容纳三大独立的描述整体数学的完整体系于一家。借此我纳三大独立的描述整体数学的完整体系于一家。借此我们还能相信，数学作为一个体系是个没有边界的范畴，们还能相信，数学作为一个体系是个没有边界的范畴，是不可能统一于一个无矛盾的统一体内的，从另一方面，是不可能统一于一个无矛盾的统一体内的，从另一方面，由三大派别的殊异性也正好构成了相互制约的格局，使由三大派别的殊异性也正好构成了相互制约的格局，使我们站在他们理论外面的人不难相信，我们站在他们理论外面的人不难相信，“谁也不可能包览谁也不可能包览数学整体数学整体”。第11页，本讲稿共17页5.5.数学发数学发展的源展的源动动力力 数学发展的动力是什么？数学发展的动力是什么？（1 1）实践的需要）实践的需要这里这里“实践实践”包括生产实践、科技实践乃至社会生活实践。包括生产实践、科技实践乃至社会生活实践。恩格斯说，恩格斯说，“科学的产生与发展，一开始就是由生产所决科学的产生与发展，一开始就是由生产所决定的。定的。”的确，历史之初从结绳记事，洽指数数到测量几的确，历史之初从结绳记事，洽指数数到测量几何、航海三角、鸡兔代数等实践中产生的初等数学已是人何、航海三角、鸡兔代数等实践中产生的初等数学已是人所不讳的了。现代数学又怎么样呢？我们说哈米尔顿同周所不讳的了。现代数学又怎么样呢？我们说哈米尔顿同周游世界和哥尼斯堡七桥问题产生图论，赌博问题产生概率游世界和哥尼斯堡七桥问题产生图论，赌博问题产生概率论，养免问题产生悲波拉契级数，计算机问题产生模糊数论，养免问题产生悲波拉契级数，计算机问题产生模糊数学，优化需求产生运筹学，电子理论产生极限环等等。其学，优化需求产生运筹学，电子理论产生极限环等等。其实诸如大系统理论、规范场理论、非交换调和分析、动力实诸如大系统理论、规范场理论、非交换调和分析、动力体系、混沌理论等等，无一不是实践需要下产生的数学理体系、混沌理论等等，无一不是实践需要下产生的数学理论分支。论分支。第12页，本讲稿共17页（2 2）内在的刺激）内在的刺激数学发展的另一大动力来自内在问题刺激，这是已表述过数学发展的另一大动力来自内在问题刺激，这是已表述过的观点，现只须说明三个问题。的观点，现只须说明三个问题。1 1）产生内在问题不在数学发生之初，仅在数学或其分支）产生内在问题不在数学发生之初，仅在数学或其分支发展到一定程度之后。比如数论三大难题的提出不是在数发展到一定程度之后。比如数论三大难题的提出不是在数论产生之初；数学大爆炸不是在论产生之初；数学大爆炸不是在1919世纪以前；数学危机不世纪以前；数学危机不发生在人类初起等等，实际上数学或其分支之最初动力往发生在人类初起等等，实际上数学或其分支之最初动力往往来自客观（包括生产）刺激，到一定时刻才产生内在刺往来自客观（包括生产）刺激，到一定时刻才产生内在刺激以致独立发展。激以致独立发展。第13页，本讲稿共17页2 2）为什么内在的问题能驱使人们去发展数学？我们认为这来）为什么内在的问题能驱使人们去发展数学？我们认为这来自一种人类对数学完美要求刺激；来自人类的一种征服心理的自一种人类对数学完美要求刺激；来自人类的一种征服心理的刺激。黎曼在创造黎曼几何时并非认识到它会是相对论的基础；刺激。黎曼在创造黎曼几何时并非认识到它会是相对论的基础；伽罗华创造群论时并不知道它如此普遍的应用领地，可说只是伽罗华创造群论时并不知道它如此普遍的应用领地，可说只是凭着他们天赋兴趣的驱使去创造的。凭着他们天赋兴趣的驱使去创造的。3 3）内在刺激的具体形式，这就是已经谈到过的问题：悖论、猜测、）内在刺激的具体形式，这就是已经谈到过的问题：悖论、猜测、诡辩等形式。诡辩等形式。总之，本节观点是，不仅总之，本节观点是，不仅“数学之树数学之树”中的树根是数学中的树根是数学的基础；数学发生的环境也是数学的基础；数学发展的的基础；数学发生的环境也是数学的基础；数学发展的动力（土壤中的营养）也应该是数学的基础。动力（土壤中的营养）也应该是数学的基础。第14页，本讲稿共17页最后我们指出最后我们指出;数学的每一个分支都是互相联系着的。数学的每一个分支都是互相联系着的。数学的每个分支就像庭院里的瓜藤，把它的触须伸得长长的，逢数学的每个分支就像庭院里的瓜藤，把它的触须伸得长长的，逢上任何东西都紧紧地与之拉起手来。这就是我们已经看到的现象上任何东西都紧紧地与之拉起手来。这就是我们已经看到的现象连续数学可用上离散方法，离散模型可用上连续方法，计算数连续数学可用上离散方法，离散模型可用上连续方法，计算数学离不了演绎数学，演绎数学少不了计算方法；代数中有分析，学离不了演绎数学，演绎数学少不了计算方法；代数中有分析，分析中有代数分析中有代数原来数学中每个分支几乎都与别的所有原来数学中每个分支几乎都与别的所有学科神奇般的联系着，形成了一个严密的学科神奇般的联系着，形成了一个严密的“网网”，这或许，这或许才是今日数学之真面目。才是今日数学之真面目。第15页，本讲稿共17页也许我们用图论中也许我们用图论中“图图”的概念来表征数学分支间的关系的概念来表征数学分支间的关系更为恰当。更为恰当。什么叫什么叫“图图”？简单说，空间中任意有限点集？简单说，空间中任意有限点集V V及及V V中任二中任二点间可能的连接关系之总体员做图。图的几何学叫做图点间可能的连接关系之总体员做图。图的几何学叫做图论。图论的历史是由欧拉公式、欧拉定理（哥尼斯堡七论。图论的历史是由欧拉公式、欧拉定理（哥尼斯堡七桥问题），哈米尔顿周游世界问题、四色问题等名题串桥问题），哈米尔顿周游世界问题、四色问题等名题串成的，特别在应用数学和计算机时代，更显出了它的生成的，特别在应用数学和计算机时代，更显出了它的生命力，不仅在电子线路版上有它的理论，在运筹学、组命力，不仅在电子线路版上有它的理论，在运筹学、组合数学中出有它的重要地位，如今用它的概念于数学的合数学中出有它的重要地位，如今用它的概念于数学的整体结构描述，也是十分恰当的。整体结构描述，也是十分恰当的。第16页，本讲稿共17页还要说明的一点是，数学之图是动态的，发展变化着的，还要说明的一点是，数学之图是动态的，发展变化着的，且越来越复杂。因为数学在不断且越来越复杂。因为数学在不断“分裂分裂”出新分支，又在不出新分支，又在不断断“并合并合”出新分支、还在不断出新分支、还在不断“创造创造”新分支。同时，新分支。同时，数学分支间还在相互渗透着、连络着，界限越来越模糊。数学分支间还在相互渗透着、连络着，界限越来越模糊。这里自然产生一个问题。数学之图越来越复杂，因此人类这里自然产生一个问题。数学之图越来越复杂，因此人类智商的进化将越来越跟不上，势必数学家容易倾向越来越智商的进化将越来越跟不上，势必数学家容易倾向越来越专，领域越来越窄，这将潜伏一种危机，专，领域越来越窄，这将潜伏一种危机，“隔行如隔山隔行如隔山”将将会向着会向着“隔专题如隔山隔专题如隔山”发展，发展，“门户之见门户之见”将会变得越来将会变得越来越强，越强，“门户门户”将会变得越来越窄将会变得越来越窄.第17页，本讲稿共17页