第二章 数学悖论 逻辑学悖论PPT课件
- 格式:ppt
- 大小:247.00 KB
- 文档页数:70
引言数学常被视为严格、和谐、精确的学科.但纵观数学发展史的,数学的发展从来不是完全直线式的,它的体系不是永远和谐的,常常出现悖论. “悖论”一词来自希腊语“para+dokein”,意思是“多想一想”. 这个词的意义比较丰富,是指在某一一定的理论体系的基础上,根据合理的推理原则推出了两个互相矛盾的结论.数学悖论在数学发展史中占据了重要的地位,可以这样说:数学也正是在不断消除悖论,解决矛盾中向前发展的,这体现了矛盾是事物发展的基本动力这一原理.这里,首先对数学悖论进行一个概述,然后介绍数学史中三个著名的悖论产生、消除及其对数学发展的历史意义.1 数学悖论的概述值得注意的是,我们所说的悖论与通常的诡辩或谬论的含义是不同的,诡辩或谬论不仅从公认的理论明显看出它的错误,而且一般地还可以运用已有的理论、逻辑论述其错误的原因;而悖论就与此不同了,悖论虽然感到它是不妥的,但是从它所在的理论体系中,却不能自圆其说.1.1 悖论的产生背景及定义悖论问题是一个古老而又常新的话题.“悖论”由来已久,它的起源可以追溯到古希腊和中国的先秦时代.但严格意义下的悖论是在19世纪末、20世纪初的数学家在研究数学基础过程中发现的.当集合论成为数学的基础之后,随着人类对无穷集合认识的不断深入,就产生了许多悖论.1897年意大利数学家不拉里——弗蒂在超穷序数理论中发现了第一悖论,接着,集合论的创始人康托尔于1899年在基数理论中又发现了另一个悖论,1902年罗素在集合论概括原则的基础上又引出著名的“罗素悖论”.1918年,罗素在此基础上又提出一种通俗形式的悖论,即“理发师悖论”.由于一连串悖论的出现,使得许多科学家、数学家忧心忡忡.那么,究竟什么是悖论呢?对此,当前流行的说法是:“悖论是一种导致逻辑矛盾的命题.这种命题,如果承认它是真的,那么它又是假的,如果承认它是假的,那么它又是真的.”又如“一个命题构成一个悖论,如果由它的真可以推出它的假,而由它的假又可以推出它的真.”诸如此类的定义法,有它合理的一面,又有不够全面的一面.这里认为,在研究悖论的准确定义时,以下几点必须加以明确:(1)任何悖论总是相对于一定的理论系统而言的.例如,罗素悖论和说谎者悖论,就是分别相对朴素集合论和真理性理论而言的;(2)悖论的最终表现总是体现为一定逻辑矛盾的揭示.这里所说的“逻辑矛盾”包括两种情况:一种是借助于语义学上的概念(真、假)而构成的,称为“语义学悖论”;另一种是借助于数学和逻辑符号得到的,称之为“逻辑-数学悖论”.例如:古代的说谎者悖论,现代集合论中的理查德悖论、格里林悖论等就属于第一类悖论;而康托尔悖论、罗素悖论就属于第二类悖论;(3)对于悖论,不能仅从字面上把它理解为“悖理”或“诡辩”.因为悖论与诡辩有含义上的不同.后者不仅从公认的理论明显看出是错误的,而且通过已有的理论逻辑可以论述其错误的原因,而前者虽感到其是不妥的,却不能阐明其错误的原因.我们认为,布拉里——弗蒂与希尔伯特关于悖论的陈述是精确的,如果某一理论的公理和推理规则看上去是合理的,但是这个理论中推出了两个互相矛盾的命题,或者证明了这样一个复合命题,它表现为两个矛盾命题的等价式,那么,我们就说这个理论包含一个悖论.数学悖论也叫“逆论”或“反论”,它包括一切与人的直觉和日常经验相矛盾的数学悖论.这些结论会让你无比的惊讶:他们有的看起来肯定是错了,但实际却是对的;有的看起来是对的,但实际是错的;还有的会让你陷入对也不是、错也不是的困境.数学悖论的出现,开始引起一些人们的好奇与思考,以后的逐步发展又动摇了某些数学基础,由于萌发了其内部的矛盾,进而引起人们的争辩.历史上人民对于数学危机的一次又一次解决或克服,往往给数学带来了新的内容,甚至引起革命性的变革.1.2研究数学悖论的意义数学科学历来视为严格、和谐、精确的典型学科,但是数学的发展从来不是直线式的,它的体系并不是永远和谐的,而常常出现悖论,特别是一些重要悖论的产生,自然引起人们对数学基础的怀疑以及对数学可靠信仰的动摇.数学史上的三次数学危机皆由数学产生悖论而引起.悖论虽然看似荒诞,但却在数学史上产生过重要影响,一些著名的悖论曾使那些著名数学家和逻辑学家为之震惊,并引发人们长期艰难而深入的思考.可以说是悖论的研究对促进数学科学的发展是立过汗马功劳的.悖论是一种思辨的方法,是研究问题的一种方式,也是历史上一种旧理论被新理论替代的前奏,数学少不了悖论,数学公理系统没有悖论就是不完备的,我们不是去容忍悖论,而是去消除悖论,在消除悖论的过程中提高认知水平.消除悖论的过程常常是完善、发展原有理论的过程.悖论是一个涉及数理科学、哲学、逻辑学、语义学等非常广泛的论题,对科学发展的意义不言而喻.从数学方面来看,悖论对数学发展的影响是深刻的、巨大的.因而研究悖论的定义、悖论产生背景、解决方案以及对数学发展是非常必要的.数学悖论是一种特殊的逻辑矛盾,它的形成与客观对象的复杂性、多样性,每一代人认识的有限性和局限性,以及人类的主观认识与客观现实的不一致性相关.在数学发展的过程中,人的认识是不断深化的.在不同的历史阶段,人的认识具有一定的片面性和相对性,就会出现“悖论”.因此,它的发生是必然的、不可避免的.数学悖论的发现改变了人们以往的思维方式,迫使人们重新构建理论,从而,在数学认识史中具有积极的意义.2 数学史上三个著名的悖论出现、消除及历史意义数学拥有“美”的内容,也存在着“丑”的东西,数学悖论就是一种“丑”的表现,追求数学美能促进数学发展,同样的,为了消除它的“丑”必然也能推动数学自身的发展,数学三次危机的克服对数学发展的推动作用,就是历史事实.数学发展是矛盾运动的结果.爱因斯坦指出:“提出问题比解决问题更重要.”问题就是矛盾,解决问题就是促使矛盾转化.数学探索与研究起源于数学问题,数学问题的源泉存在于自然科学、社会科学及数学自身的矛盾运动.数学问题一经提出,数学家一般要先经过各种尝试(如类比、归纳、演绎、分析、综合、试验等),经过长时期(甚至几代人)的不懈努力,最终目的促使数学问题得以解决,或说促使数学矛盾得以转化,从而创造出新的数学理论、新的数学成果及新的数学思想方法.数学的历史,就是不断解决数学矛盾又产生新的数学矛盾的过程.从哲学上看,数学是现实世界量的侧面在人们头脑中的反映,因为现实世界是充满着矛盾的,所以数学也必然充满了矛盾.正像恩格斯所指出的:不仅高等数学充满着矛盾,连初等数学也充满着矛盾.比如:正与负、直与曲、平行与相交、已知与未知、常量与变量、有限与无限、连续与不连续、精确与近似、必然与或然、加法与减法、乘法与除法、乘方与开方、微分与积分、几何变换与其逆变换、数学算子与逆算子、实在的与虚构理性的,等等.当然在整个数学发展过程中还有许多深刻的矛盾.例如:有穷与无穷、连续与离散,乃至存在与构造、逻辑与直观、具体对象与抽象对象、概念与计算,等等.他们可以说贯穿了整个数学发展史,而这些大大小小矛盾的产生,发展到激化,到解决,总是不断为数学产生新的概念、新的方法、新的理论,也可能产生新的概念、新的方法、新的理论,也可能产生新的危机.危机实际上是一种激化的、非解决不可的矛盾,而这些矛盾的消除、危机的解决,往往给数学带来新的内容、新的进展,甚至引起革命性的变革,这也反映出矛盾斗争是事物发展的历史动力的基本原理.纵观数学与数学文化的发展史,数学问题是数学中的一种疑难和矛盾,它的提出和解决是推动数学发展的重要力量.2.1“毕达哥拉斯悖论”与第一次数学危机的化解2.1.1“毕达哥拉斯悖论”与第一次数学危机的出现在古希腊毕达哥拉斯时期,数学思维尚处于刚刚形成有理数观念的早期阶段.由于数量概念源于测量,而测量得到的任何量在任何精确度的范围内都可以表示成有理数,所以,人们普遍相信一切量均可用有理数表示.这种认识反映到历史上第一个数学共同体——毕达哥拉斯学派的理论体系中,便凝练为可公度原理,即“一切量均可表示为整数与整数之比”.毕氏学派深信数的和谐与数是万物的本源,而宇宙间的一切现象都归纳为整数和整数比的信条.然而,毕达哥拉斯定理(勾股定理)却成了毕达哥拉斯学派数学信仰的“掘墓人”.毕达哥拉斯定理提出后,其学派中的一个成员希帕索斯考虑了一个问题:边长为1的正方形其对角线长度是多少呢?他发现这一长度既不能用整数,也不能用分数表示,而只能用一个新的数来表示.希帕索斯的发现的诞生.这却在当时的数学界掀起了一场巨大风暴.它直接动摇了毕达哥拉斯学派的数学信仰,使毕达哥拉斯学派为之大为恐慌.实际上,这一伟大发现不但对毕达哥拉斯学派是致命打击,对于当时所有古希腊人的观念也是一个极大的冲击.这一结论的悖论性表现在它与常识的冲突上:任何量,在任何精确度的范围内都可以表示成有理数.这不但在希腊当时是人们普遍接受的信仰,就是在今天,测量技术已经高度发展时,这个断言也毫无例外是正确的!可是为我们的经验所确信的,的存在而推翻了!这应该是多么违反常识,多么荒谬的事!它竟然把以前所知道的事情从根本上推翻了.更糟糕的是,面对这一“荒谬”人们竟然毫无办法.这在当时直接导致了人们认识上的危机,从而导致了西方数学史上一场大的风波,史称“第一次数学危机”.也就是著名的“毕达哥拉斯悖论”.2.1.2 第一次数学危机的解决第一次数学危机出现后,古希腊人陷入了“失乐园”的彷徨之中.为了摆脱危机,当时的学者作了种种努力.在这方面贡献最大的是柏拉图、欧多克索斯、欧几里得.在大约公元前370年,这个矛盾被希腊数学家欧多克索斯给出的两个比相等的新定义所解决,当然从理论上彻底克服这一危机还有待于实数理论的建立.欧几里得则在柏拉图、欧多克索斯、亚里士多德等人工作的基础上,总结了以前全部几何学知识,建立起第一个几何公理系统,并编写出《几何原本》一书.这无疑是数学思想上的一次巨大革命,古典逻辑与欧氏几何就是第一次数学危机的产物.第一次数学危机后承认除了整数和分数外还存在另外的数.由于对这种“怪数”的接受很不情愿,于是就给它起了一个难听的名字—无理数.不可通约量(即无理数)的发现引起人们思想上的困惑.甚至直到十九世纪,无理数也没有一个名正言顺的地位,但随着分析学的飞速发展,它(或整个实数理论)已不得不被人们摆在前台,到十九世纪下半叶,数学分析的进一步发展需要有逻辑严谨的实数理论作为其基础,于是两种实数理论几乎在同一时期产生了,这两种实数理论分别是由戴德金与康托尔建立的,它有一个共同点,即都是将实数定义为有理数的某些类型的“集合”.戴德金方法可以称为序完备化方法,康托尔方法可以称为度量完备化方法.这些方法在近现代数学中都已成为典型的构造方法,被后人不断推广发展成为数学理论中的有力工具.第一次数学危机也随之化解.这一危机的化解,使“数”真正具有了表达一切量的可能,不仅是无理数,还使数的概念不断扩大和发展.复数、四元数、超限数、理想数、非标准数等各种各样的数都被创造出来了.第一次数学危机持续了两千多年. 1872年,数学家戴德金通过他的“戴德金分割”从有理数扩展到实数,建立起无理数理论.十分有趣的是,在同一年,维尔斯特拉斯通过有界单调序列理论、康托尔通过有理数序列理论完成了同一目标:他们都从有理数出发定义出无理数,从而建立起了实数理论.实数的这三大派理论,从不同方面深刻揭示了无理数的本质.实数域的构造成功,使得2000多年来存在于算术与几何之间的鸿沟得以完全填平,无理数不再是“无理的数”了.直到此时,我们才可以说由毕达哥拉斯悖论引发的第一次数学危机圆满而彻底地解决了!2.1.3 “毕达哥拉斯悖论”的历史意义这次危机导致了数学史上第一个无理数的诞生,之后,许多数学家正式研究了无理数,直到19世纪下半叶,给出了无理数的严格定义,提出了一个含有有理数和无理数的新的数类——实数,并建立了完整的实数理论.无理数本质才被彻底搞清,无理数在数学中的合法地位才被真正确立,同时也为数学分析的发展奠定了基础.第一次数学危机还表明,几何学的某些真理与算术无关,几何量不能完全由整数及其比来表示.反之,数却可以由几何量表示出来.整数的尊崇地位受到挑战,古希腊的数学观点受到极大的冲击.于是,几何学开始在希腊数学中占有特殊地位.同时也反映出,直觉和经验不一定靠得住,而推理证明才是可靠的,证明的思想在希腊人的心中扎下了根.进一步,古希腊人发展了逻辑思想并加深了对数学抽象性、理想化等本质特征的认识,古典逻辑学应运而生.从此希腊人开始从“自明的”公理出发,经过演绎推理,并由此建立几何学体系.这是数学思想上的一次革命,是第一次数学危机的自然产物.第一次数学危机的影响是巨大的.首先,它推动了数学及相关学科的发展.例如,欧几里得几何就是在第一次数学危机中产生的.其次,虽然第一次数学危机在一定程度上引发了数学思想上的混乱,但数学并没有在危机面前停滞,反而在克服危机的过程中产生了逻辑学和公理几何学,极大地促进了几何学的发展,使几何学在此后两千年间几乎成为是全部严密数学的基础,这不得不说是数学思想史上的一次巨大革命.当然,这种将整个数学捆绑在几何上的狭隘做法,对数学的发展也产生了不利的影响.不可公度量的发现,使希腊人把几何看成了全部数学的基础,在数的研究过程中割裂了它们之间的密切关系.这样做的最大弊端是放弃了对无理数本身的研究,使算术和代数的发展受到很大的限制,从而导致了基本理论变的十分薄弱.这种畸形发展的局面在欧洲持续了2000多年.总而言之,第一次数学危机的结果是产生了无理数概念,并取得重大飞跃,使人们对实数有了完整的认识,同时,这也为后来欧几里得、阿基米德等人在数学上取得杰出成就,甚至牛顿、莱布尼兹创建微积分奠定了数的基础.2.2“贝克莱悖论”与第二次数学危机的化解2.2.1 “贝克莱悖论”与第二次数学危机的出现在希腊的后期,除了研究直线、折线的长度、直线形的面积外,还讨论过曲线的长度和曲线形的面积问题.经过中世纪和文艺复兴,直到十七、八世纪,人们发现下列问题需要处理:(1)知路程函数,求速度以及它的逆问题;(2)求——曲线的切线;(3)求——函数的极值.在研究上述问题过程中逐步产生了微积分.牛顿和莱布尼茨是微积分的创立者,他们把有关运动、切线、极值和求积等各种问题的解决统一成微积分方法,有计算微分的明确步骤,确立它是(不定)积分的逆运算,得到牛顿——莱布尼茨公式,这一新生而有力的数学方法,受到数学家们的欢迎,解决了大量过去无法解决的问题,同时,微积分基础的问题也越来越严重了.这就是如何解释“无穷小”的问题,牛顿给出瞬时速度的定义,又给出有效的计算方法:第一步,他用无穷小作分母进行除法运算;第二步,他又把无穷小看作零,以去掉那些包含着它的项,而得到所要的公式.这时的微积分只有方法,没有严密的理论作为基础,许多地方存在着漏洞,还不能自圆其说.例如,牛顿当时是这样求函数n y x =的导数的:()()()212()12nn n n n x x x n x x n n x x x --+∆=+⋅⋅∆+-⋅⋅∆+⋅⋅⋅+∆ 然后把函数的增量△y 除以自变量的增量△x ,得到:()()()()211212n n n n n n x x x y x x n n x x nx x x x x ----+∆-∆==⋅+-⋅⋅∆+⋅⋅⋅+∆+∆∆∆ 最后,扔掉其中所有含 x ∆的项,就得到函数n y x =的导数为1n nx - .“无穷小”在逻辑推理上是零与非零的矛盾,而牛顿却不能在逻辑上说清楚,他说:“量在其中消失的终极比,严格地说来,不是终极量的比,而且它与无限减小的这些量所趋近的极限之差虽然能比任意给出的差更小,但是在这些量无限缩小以前即不能超越也不能达到这个极限.”无论牛顿用数学语言,还是利用物理意义,他都没有说清楚无穷小量是什么.科学家们相信它,因为它使用起来十分有效,得出的结果总是对的,但是由于逻辑上的漏洞,遭到一些人指责,甚至嘲讽与攻击.如1695年,荷兰数学家纽汶蒂在其著作《无限小分析》中指责牛顿的流数术叙述“模糊不清”,莱布尼茨的高阶微分“缺乏根据”等.法国数学家罗尔(罗尔中值定理以他的名字命名)也对微积分表示怀疑.然而,对新生的微积分攻击得最厉害的是爱尔兰主教贝克莱,他的观点是“存在即被感知”,认为一切事物不过是人的感知的综合,他的哲学目的是论证上帝的存在.贝克莱在1734 年写了题为《分析学家》,副标题“致不信神的数学家”一书,该书对微积分大肆攻击:“既不是有限量,也不是无穷小,但又不是无”、“是消失了的量的鬼魂”.尽管一些数学家对贝克莱的攻击进行反驳,但没有在逻辑上说清楚无穷小量引起的数学逻辑基础的混乱.贝克莱是出于恐惧当时自然科学发展所造成对宗教信仰的威胁,也是由于当时的微积分理论缺乏牢固基础,所以当时的微积分遭到攻击和非难在所难免. 历史上,人们就把微积分自诞生以来数学界出现的混乱情形叫做“第二次数学危机”,也把贝克莱的攻击称为“贝克莱悖论”.2.2.2 第二次数学危机的解决贝克莱悖论的提出与第二次数学危机的出现,使微积分基础问题引起了更大的重视.十七、十八世纪,数学家们不顾贝克莱们的挑剔和攻击,受微积分有大用的鼓舞,继续在不牢固的基础上建筑微积分的大厦.在英国,数学家马克劳林对贝克莱悖论做出最重要的回应.虽然马克劳林巨大的努力回答了贝克莱的质疑,但十八世纪的大多数数学家对他这种用几何方法严格论证微积分的工作并不欣赏.后来欧拉、达朗贝尔、拉格朗日等为微积分的基础严密化做了重大贡献,但是微积分逻辑基础在十八世纪结束的时候仍然是一个悬而未决的问题.十九世纪初,许多迫切的问题基本上得到解决,一种追求严密性的风尚开始在数学界蔓延开来.一些数学家开始沿着正确的途径建立微积分的严格基础.例如波尔查诺、阿贝尔、柯西、魏尔斯特拉斯等,波尔查诺给出了连续性的正确定义;阿贝尔指出要严格限制滥用级数展开及求和;柯西抓住极限的概念,指出无穷小量和无穷大量都不是固定的量,而是变量,无穷小量是以零为极限的变量,并且定义了导数和积分;狄利克雷给出了函数的现代定义.在这些工作的基础上,魏尔斯特拉斯消除了其中不确切的地方,完成了一套被认为是天衣无缝的()N ξξσ--语言,严格刻画了极限的定义.人们放弃了无穷小,而以一个无限过程刻画的极限理论统一了导数和积分概念.由于这个理论用不着“无穷小”,一切都按程序操作,“无穷小”引起的混乱被消除了.十九世纪八十年代初,魏尔斯特拉斯、戴德金、康托尔等人独立地建立了实数理论,而且在实数理论的基础上,建立起极限理论的基本定理,这样,数学分析中微积分的理论基础——严格的极限理论建立起来了,微积分的发展从此进入了一个新的阶段.原有的悖论在新的体系下可以圆满地予以清除,第一次数学危机和第二次数学危机几乎同时在十九世纪消除.第二次数学危机的消除,与第一次数学危机的消除,两者实际上是密不分的.为解决微积分问题,必须建立严密的无理数定义以及完整的实数理论.有了实数理论,加上柯西和维尔斯特拉斯的极限理论,这样,第一、二次数学危机就相继消除.2.2.3 “贝克莱悖论”的历史意义“贝克莱数学上的悖论”源于他的哲学上的悖论认知.比如,他的著名观点“存在就是被感知”,就包含了存在、感知、观念、精神以及上帝.这里就潜藏着悖论因子:如果从上帝开始,那么,那是《创世纪》的方向,一切以经文为准,即“信仰之道”;相反,如从观念开始,就成了逆式的“哲学之路”了.这样他就混淆了这两条路:论证的路一再被信仰打破;而论证的困境一次又一次地因信仰而解决.事实上,贝克莱的思想处处充满逻辑悖论.对于他的“物质”观念化,我们就有理由追问:他的上帝似乎在虚无中创世,而创造的也是虚无.尽管作为抽象概念的物质并不存在,但在感知的另一头,是否会有某些不可名状的东西?但如果没有被动的观念,哪来主动的精神?既然没有物质实体,精神实体又在何处?如果没有精神实体,无限精神又当如何?最后的归宿就是:没有上帝,他的哲学注定漂无定所,假设有上帝,哲学又将变得可疑;如果哲学的虚拟性贯穿始终,则上帝将止于空洞的说词.可见,他的矛盾式的、悖论式的哲学思想就为微积分的缺口的批判——无穷小悖论做了伏笔.虽然从贝克莱本人的目的来看,他试图通过对微积分的批判,曲解数学而为神学辩护.但从客观上看,微积分的理论体系还是具有高度的精确性(虽然不十分严谨)和广泛的应用性.贝克莱悖论的出现只是从一个更高层次上对新生的微积分理论体系所提出的更高的要求,这样迫使数学家认真对待这一悖论:柯西用极。
逻辑学悖论说谎者悖论“这句话是错的。
”上面这个句子是对的吗?如果是对的,这句话就是错的;如果是错的,这句话就是对的。
这一类的悖论变化是无穷的。
例如,罗素曾经说,他相信哲学家乔治.摩尔平生只有一次撒谎,就是当某人问他:是否他总是说真话时,摩尔想了一会儿,就说:“不是。
”你可以创造一个这样的悖论吗?无穷倒退“先有鸡还是先有蛋?”先有鸡吗?不,它必须从鸡蛋里孵出来,那么是先有鸡蛋?不,它必须由鸡生下。
鸡和鸡蛋这个古老的问题是逻辑学为“无穷倒退“的最普通的例子,无穷倒退还有很多例子。
柏拉图:「下面苏格拉底说的话是假的。
」苏格拉底:「柏拉图说了真话。
」这是说谎者悖论的一个翻版。
假若苏格拉底说的是真的,那么柏拉图说的必然是真的。
但是,如果柏拉图说的是真的,那苏格拉底说的就必须是假的。
若我们假定苏格拉底说的是假的,那就意味着柏拉图说的是假的,这么,要是柏拉图说的是假的,苏格拉底说的就必须是真的,结果我们又从头开始,这个过程就会这样子一直重复下去。
理发师悖论“我给城里一切不自已刮脸者刮脸,我也只给这些人刮脸。
”著名的理发师悖论是伯特纳德.罗素提出的。
一个理发师的招牌写着如上面的告示。
谁给这位理发师刮脸呢?他提出这个悖论,为的是把他发现的关于集合的一个着悖论用故事通俗地表述出来。
某些集合看起来是它自已的元素。
现在来考虑一个由一切不是它本身的元素的集合组成的集合,这个集合是它本身的元素吗?无论你如何作答,都会得到矛盾。
设对于一类集合:A1={a11,a12,…a1i,…},A2={a21,a22,…a2i,…},…,A i={a i1,a i2,…a ij,…}都满足条件a ij∈A i ( i = 1,2,…j = 1,2,…),但A i∉A i一切这类集合物成新集合A={A1,A2,…,A i} A1∈A,问A ∈A?如果认为A ∈A,则A应该不是自身集合的元素,即A ∉A;如果A ∉A,A就应是本集合的元素,即A ∈A,得到矛盾。
逻辑学悖论如果你曾向学生介绍过逻辑学的基本概念,刁就会发现,凚没有什么比一个使人主意忽左忽右的悖论更能引起他们的兴趣了。
凐他们被一步一步地引上繁花似锦的小道,凘遵循着一条无懈可击的推理思路往前走,凎结果他们忽然发现自己已陷入矛盾之中。
凥到底是什么错了?难道就在演绎推理这一过程背后有可能隐伏着什么倒霉的缺陷吗?这一章的主要目的,刋是尽可能用娱乐的方式,刢通过提出现代逻辑学中最重要的悖论来引起学生的兴趣。
凭在这里,刧“悖论”这个词意思比其他部分要窄一点。
凭在其他几章中,凾悖论是强烈违反我们直觉的问题。
凞在这里,利悖论只是直接导致彼此矛盾的结果,凌就像证明2+2又等于4,列又不等于4一样。
凚逻辑悖论是“不可解”的,別除非能找到一种方法来完全消除这种恶性的矛盾。
凉尽管从古希腊起到今天,刦逻辑悖论一直人们带来很大乐趣,减可是最伟大的数学家都总是极严肃地对待它。
凕在发展现代逻辑学和集合论中一些巨大进展正是努力解决经典悖论的直接结果。
刅在这里,利你会看到引自伯特兰德?罗素的话,刎他谈到他花了好些年的时间研究悖论而没有成功,切后来他和阿尔弗雷德?怀特里德合作,凟写了《数学原理》,凶这是一本奠基了现代形式逻辑的代表性论著。
凭作为一个数学教师,刃不用人提醒就懂得,刋逻辑学是一切演绎推理的基础,凑一个不懂基础逻辑的学数学的学生是没有能力来掌握数学基础的。
処对这些基础的理解往往是较困难的,凥它使初学学生丧失对数学的兴趣。
刏幸好,凷这组故事可以帮助你使学生认识到,凐逻辑学并不像他们想象的那样枯燥无味,刜而是一个对数学很重要的、生动有趣的课题、其中有很多令人兴奋的问题尚待解决。
凣在这组故事中有三个中心问题。
凳1.在我们谈论语句的真实价值时,凶为什么需要以一种更高级的语言(称为“元语言”)来谈论它?2.为什么现代集合论有一些规则禁止一个集合是此集合本身的元素?3.在什么样的特殊情况下,凬预言未来在逻辑上是不可能的?最好是在学习逻辑学、集合论或演绎(推理)证明的时候来认真阅读这一部分。
悖论(paradox)早八一郑博中同学们大家好!由于上次本逗比发表的《有趣的命题》刊登后本人应大Q老师好召再次着笔自己最喜欢的逻辑类半学术性文章,希望大家喜欢。
今天在这里我要讲的是悖论。
相信对悖论(paradox)这个东西大家并不陌生,但科普一下更深层的介绍还是用必要的。
首先,当然是度娘环节。
悖论指在逻辑上可以推导出互相矛盾之结论,但表面上又能自圆其说的命题或理论体系。
悖论的出现往往是因为人们对某些概念的理解认识不够深刻正确。
悖论的成因极为复杂且深刻,但深入研究有助于数学、逻辑学、语义学、形而上学等等理论学科的发展,因此具有重要意义。
当然,这都是废话,下面我来说一下悖论是什么。
悖论,亦称为吊诡、诡局或佯谬,是指一种导致矛盾的命题。
在逻辑学上指可以同时推导或证明出两个互相矛盾的命题的理论体系或命题。
英文paradox原意为多想一想。
这个词的引申义比较丰富,就不要管它了。
之所以悖论如此著名,是因为在逻辑学缜密的规则下,悖论往往可以推知意想不到的结果。
首先,悖论分为三种主要形式:1.一种论断看起来好像肯定错了,但实际上却是对的(佯谬)。
2.一种论断看起来好像肯定是对的,但实际上却错了(似是而非的理论)。
3.一系列推理看起来好像无法打破,可是却导致逻辑上自相矛盾。
这次看似很抽象,但我举一个臭名昭著的例子大家就知道了。
我要举的便是导致第三次数学危机的罗素悖论。
罗素悖论:设性质P(x)表示“x不属于x”,现假设由性质P确定了一个类A——也就是说“A={x|x不属于x}”。
那么问题是:A属于A是否成立?首先,若A属于A,则A是A的元素,那么A具有性质P,由性质P 知A不属于A;其次,若A不属于A,也就是说A具有性质P,而A是由所有具有性质P的类组成的,所以A属于A。
当然这是抽象的集合描述,我来举一个通俗易懂的例子。
假设早八一班有一位吴某。
他喜欢摸别人的头。
有一天在班里说:“同学们,你们谁的头痒痒本人可以随时帮你摸舒服,我为一切头痒却不挠者提供服务,且只给他们提供服务。
【高中数学】逻辑学悖论--无穷的倒退m:机器受到的难题就像人碰到要解答一个古老的谜?。
问题:鸡还是蛋,哪个先来?m:先有鸡吗?不,它必须从鸡蛋里孵出来,那末先有鸡蛋?不,它必须由鸡生下。
好!你陷入了无穷的倒退之中。
古老的鸡和蛋问题是逻辑学家所谓的“无限回归”最常见的例子。
这位老人的麦片经常装在盒子里。
上面的照片是一位老人拿着一盒麦片。
在这个盒子上,还有一张老人拿着一盒麦片的小照片。
当然,小盒子上也有同样的图片。
在过去,它就像一个无限系列的中国盒子。
1965年4月的《科学美国人》杂志封面上有一张该杂志的照片,映入人们的眼帘高二.你可以看到,在反射的弹匣中,还有一个较小的眼睛,它反射一个较小的弹匣。
当然,它将继续保持小规模。
在理发店里,对面的墙上有许多对面的镜子。
人们可以在这些镜子中看到无限的倒退。
在幻想作品中有类似的倒退。
菲利浦·夸尔斯是阿尔道斯·赫克斯勒的小说《点计数器点》中的人物:他是一个作家,正在写一本小说,是关于一个作家正在写一个作家在写小说的小说……。
在安德烈·贾德的小说《伪造品》中,在卡明的剧作《他》中,在诺曼·迈勒的《笔记》这类短篇小说中,都有类似的倒退。
约拿·斯威夫特写了一首关于跳蚤无限回归的诗,由奥古斯都·德·摩根改写:大跳蚤有小跳蚤咬他们的背,小跳蚤又有小跳蚤,继续这样下去没完没了。
那只大跳蚤掉了下来——比它小上面还有大跳蚤,一对一,总也找不到这一代人已经老了。
在艺术、文学、数学和逻辑方面无穷倒退的更多实例可参见《科学美国人》编的马丁·加德勒的第六本数学游戏。