数理逻辑.pdfVIP

第五章 数理逻辑 第第五五章章 数数理理逻逻辑辑 §5.0 引 论 §§55..00 引引 论论 计算机科学是通用的科学，计算机技术是信息技术的核心技术，是一种通用的技术。那 么计算机科学的一个重要问题，是要找寻一个最通用的语言层面，协调地描述需要信息技术 求解的所有问题。数理逻辑就是要讨论这样的通用语言应该是怎样的和能够是怎样的？ 5.0.1 数学发展史就是不断地建立通用语言的过程 55..00..11 数数学学发发展展史史就就是是不不断断地地建建立立通通用用语语言言的的过过程程 古代的中国、印度、巴比伦、埃及和希腊对于数学都有着广泛的兴趣，特别在古希腊， 数学是与宗教的教义相结合的，天文、历法和数学是作为宗教教义的内容，这与古埃及和巴 比伦文化的传入到希腊有关。在中国和印度数学的宗教特点没有这样明显。 在原始经济时代，宗教的教义来“描述”世界上一切事物的表达语言，天文、历法和数 学是作为教义的通用的形式表达语言。由于商品和商品交换的出现，数及计数协调地描述了 商品及商品交换，因此当时的教义认为自然数和有理数才是数，万物是由数组成，只有自然 数才是上帝造的，有理数是人根据上帝的旨意发展起来的。 公元前５００年，希腊的数学发展很快，当时最大的学派——毕达哥拉斯学派(是当时希 腊最有势力的学派)的一位学者，发现直角边为一个单位的直角等腰三角形的斜边不能用当时 的数来表示，这是一个新的数。因为，新的数与以上的教义相矛盾。因此，发现者与自己的 好朋友一起出海旅游时将这个惊天动地的发现向自己的朋友宣布后，所得到的奖励是朋友们 将他扔到海中淹死了，让他到上帝那里去讨论这样的数的存在性。 无理数的发现说明，作为算术的一种表达语言并不完全的，求直角边为一个单位的直角 等腰三角形的斜边是土地丈量是产生出来的客观存在的量，在当时的表达语言中没有一个形 式表达式表达这个量，因此必须发展更通用的表达语言和讨论在新的表达语言中的新的规律。 因此在古希腊非常盛行的抽象几何思维产生了新的数学的研究对象——几何量，这些量是唯 一人类所具有的抽象思维的产物。实际物体的量度都可以用有理数来表示时是与阿凡提量湖 水一样只是一种假言推理(有人问阿凡提,湖里有多少水,阿凡提回答:如果桶与湖一样大,则湖 里只有一桶水,如果桶只有湖一半大,则湖里有两桶水)，实际上直角等腰三角形的斜边的量度 是在确定直角边为一时的一个演算，这样的数应是存在的。 这个与当时教义相矛盾的学说震动了由宗教统治着的科学界，引起了人们对数学的怀疑， 形成了数学发展的第一个重要阶段。 2 的发现后跟着有更多的无理数被发现，使得人们感到没有无理数数学的研究就会缺 乏思维基础，由教义规定的数的概念是不够广泛。为了使数学得到进一步的发展，科学界必 须承认从推理中产生像无理数这样的数学对象是客观地存在的，而且必须对推理的特性和推 理的方法进行规范的研究。由于 是从几何上发现的，所以人们认为解决这个数学危机应 2 从几何做起。因此，当时成立了一个小组，其任务是建立几何理论，最后由欧几里得执 笔写成了《几何原本》。 《几何原本》用抽象的方法来定义一些几何对象，然后用公理和公设来推出其它的几何 对象。《几何原本》有很多内容，使我们有兴趣的是三个部分：第一部分是定义；第二部分 是公设；第三部分是公理。 《几何原本》即使有许多问题，最明显的是那些定义和第五公设,即平行公设(平行公设的 原义是:每一个直线与两条直线相交所构成的内角，若有一边的内角和小于2d，则这两条直 线应相交，且在小于2d的那边相交)。可以看出，定义中到处都可以看到用一些不明确的概 念去定义另一些概念；第五公设许多人认为它不像公设，有些人怀疑它的独立性。即使如此 《几何原本》仍然与亚里士多得的《工具论》一起代表了这个阶段的数学思维的特点。《几 何原本》中的思维方法统治着世界两千多年。当今的初等数学的基本训练，基本上还是《几 何原本》中的方式。后来，希尔伯特总结了欧基里得几何，纠正了其中的不足，建立起欧基 里得几何的严格的理论体系。 从这一个数学发展的重要阶段所做的工作看出两个问题：一是使得数学得到一次大的进 步；二是解决的办法都从逻辑和思维结构方面找到出路。这一阶段以《几何原本》的出现而 缓和人们对数学思维的怀疑，欧几里得几何从它的理论体系的建立和基本思维方法是公理的 方法。正因