数理逻辑导论 数理逻辑.doc

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