哥德尔定律及其哲学意蕴
更新时间:2023-03-10 22:47:01 阅读量: 教育文库 文档下载
- 哥德尔定律名词解释推荐度:
- 相关推荐
哥德尔定理及其哲学意蕴
1. 哥德尔其人
假如让人们列举出20世纪影响人类思想的十大伟人,恐怕爱因斯坦(Albert Einstein)、图灵(Alant Turing)、哥德尔(Kurt G?del)和凯恩斯(John Keynes)应榜上有名,事实上,这四位也恰是2002年美国《时代周刊》上列出的“20世纪震撼人类思想界的四大伟人”,足见这四位大家思想之重要而深远。然而,对于物理学家爱因斯坦、理论计算机之父图灵,以及经济学家凯恩斯的工作,一般人总还略知一二,但大多数人对作为数学家和逻辑学家的哥德尔的思想就知之不祥,更知之不确了。
库尔特&S226;哥德尔1906年出生在摩拉维亚的布尔诺城,是一个生活条件属中产阶级的奥地利日尔曼裔家庭的第二个儿子,父亲是一家纺织厂的合伙经营人,母亲是受过良好教育的家庭妇女。1924年哥德尔入维也纳大学学习,最初主修物理和数学,后来在维也纳小组的激励下开始学习逻辑。1930年获哲学博士学位,1933年获维也纳大学执教资格。1940年迁居美国任普林斯顿研究院研究员,1948年加入美国国籍,1976年退休,1978年由于精神紊乱死于拒绝进食造成的营养枯竭。
哥德尔的一生可以说是倾力献身基础理论研究的一生,他的学术贡献基本上是在数学、逻辑和哲学领域。1929-1938年间哥德尔作出数理逻辑领域三大贡献:证明一阶谓词演算的完全性;证明算术形式系统的不完全性;证明连续统假设和集合论公理的相对一致性,这些结果不仅使逻辑学发生了革命,而且对数学、哲学、计算机和认知科学都有非常重大的影响。特别是电子计算机诞生之后,哥德尔的不完全性定理的深刻性更加受到学界的关注。只是稍稍出乎人们意料的是,作出这几个划时代结果后,自1940年以后,哥德尔除了继续思考一些集合论问题,有5年时间热中相对论并得到一个受爱因斯坦赞赏的结果外,大部分时间倾注了哲学问题的研究。他一生著述很少,极少公开演讲,只出版过一部著作,发表文字不及300页,从未构造过任何完整的理论体系,甚至没有一个真正意义上自己的学生,他的大部分思想记录在手稿、私人通信和谈话记录中。
哥德尔曾被许多人看作带有神秘色彩的人物,一方面是因为他的不完全性定理的逻辑外衣使大多数人难觅其思想的内在义蕴,另一方面也因为对于他的个性和精神状况流传着一些坊间神话。但是可以肯定的,哥德尔不仅以精湛优雅的工作作出了令世人瞩目的科学贡献,还以卓然深刻的思想为世人留下一笔丰厚的哲学遗产。哥德尔一生特立独行,始终如一地将一流的人格品质、高远的科学鉴赏力、超凡的创造性和至为严谨的学风融为一体,倾其全力献身基础理论研究工作,在这个充满竞争的世界上,他完全采取了一种“超然于竞争之上”的生活态度。王浩曾将哥德尔与爱因斯坦相提并论,称他们是哲人科学家中的“稀有品种”。到目前为止,由一流数学家和逻辑学家组成的编委会负责编辑出版的《哥德尔文集》已经于1986、1990、1995年出版了前三卷,其他各卷还将陆续出版,借助《哥德尔文集》,我们必将逐步走进哥德尔的精神世界,进一步理解其思想的博大精深。
2. 哥德尔的不完全性定理
哥德尔思想最深刻地体现在为世人称道的不完全性定理之中。为了理解这一定理的深刻内涵,我们首先了解一下一阶谓词逻辑的完全性问题。
我们知道,自然语言中包含着各种隐喻的成分和模糊之处,在使用中常常需要依赖于使用语言的语境,用自然语言进行推理往往会产生歧义,带来意义的不确定性,因此在莱布尼兹时代,逻辑学家们就希望引进一套意义单一明确的人工符号,构造一套形式语言来严格、清晰地整理日常推理和数学推理。为此目的,1879年弗雷格(G.Frege)提出第一个初等逻辑的形式系统(未完全形式化),1910 年罗素(B.Russell)在《数学原理》中给出了一阶谓词逻辑的形式系统PM,1928年希尔伯特(D.Hilbert)和阿克曼(W.Ackerman)又引进了形式系统HA,基本特征都是引进了一套人工语言代替自然语言。一般来讲,在一个形式系统中,各种陈述都表示成有穷长度的符号串,系统的形成规则指明什么样的符号串是合法的公式,一些符号串被当作公理。系统中还包括一系列推理规则,指明什么是系统中定理的证明。一个证明就是从公理出发对公式变形而形成的有穷长的公式序列,序列中的每一个公式,或者是公理,或者是由在前的公式依照推理规则形成的公式,而且系统中每一个定理都是这样经过有穷步骤得到的结果。到了20世纪20年代,这三个系统已经为逻辑学家们所普遍接受。问题是,这样的形式系统是否能囊括所有的逻辑真理?于是,希尔伯特1928年明确提出问题,证明一阶谓词逻辑系统具有完全性。
一年以后,哥德尔在他1929 年完成的博士论文中证明,包括弗雷格、罗素和希尔伯特-阿克曼的一阶谓词逻辑的形式系统,都具有一种语义完全性,即所有普遍有效式都可在一阶谓词逻辑系统中作为定理得到证明,所谓普遍有效式,就是在一切论域中都真的公式。这一结果表明,一阶谓词逻辑系统在刻画那些逻辑真理方面是足够充分的。
既然一阶谓词逻辑具有如此强大的能力,逻辑学家们期望借助它构造整个数学的形式系统,从而用形式化手段证明所有的数学真理。事实上,1900年巴黎数学家会议上,希尔伯特遵从“世界上没有不可知”,“人类理性提出的问题人类理性一定能够回答”的哲学信念,提出23个问题数学问题,其中的第二个问题就是建立整个数学的一致性(即无矛盾性或称协调性),20年代希尔伯特本人曾提出了一个使用有穷方法建立实数和分析的一致性的方案,称为希尔伯特元数学方案。所谓有穷方法,粗略地说就是一套可操作的形式化程序,依照这样的程序可以一步一步地在有穷步骤内得到确切结果。1930年获得博士学位之后,为了获得大学授课资格,哥德尔开始沿着希尔伯特方案的路线着手解决希尔伯特第二问题。而不完全性定理正是解决第二问题所得的结果。哥德尔最初是想寻此方案首先建立算术理论的一致性,然后再建立相对于算术而言实数理论的一致性,但出乎意外的是,他得到了与希尔伯特预期完全相反的结果,最终证明了形式算术系统的一致性不能用有穷手段证明。 哥德尔首先用一阶谓词逻辑的形式语言陈述皮亚诺算术的五条公理,同时将所形成的算术形式系统记为PA,在发表于1931年的论文《论《数学原理》及有关系统中的形式不可判定命题Ⅰ》中,证明了如下两个重要结果:
哥德尔第一不完全性定理:如果PA是一致的,则存在PA命题P, P在PA中不可证;如果PA是ω一致的,则P的否定﹁P在PA中不可证(1936年罗塞尔(J.B.Rosser)证明可以将条件“ω一致”改为“一致”),即系统PA是不完全的,这样的P称为不可判定命题(即命题和命题的否定都不是系统的定理)。
哥德尔第二不完全性定理:如果算术形式系统PA是一致的,则不可能在系统PA内部证明
其一致性。
哥德尔的两个不完全性定理可以更一般地表述为:
哥德尔第一不完全性定理:任何足以展开初等数论的数学形式系统,如果是一致的,就是不完全的,即其中必定存在不可判定命题;
哥德尔第二不完全性定理:任何足以展开初等数论的数学形式系统,如果是一致的,其一致性在系统内不可证。
第二不完全性定理的另一种形式:任何足够丰富的数学形式系统,如果是一致的,那么它不能证明表达它自身一致性的命题是定理。
哥德尔证明第一不完全性定理的思路是,先在形式系统中构造一个命题P,这个命题形如“P在系统中不可证”, 进而指出,这个命题P和它的否定﹁ P都不是系统的定理,即这个命题在系统中是不可判定的。依照经典逻辑,任何一个命题,或者为真,或者为假,二者必居其一,二者只居其一,即命题和命题的否定必有一真,因此,系统中存在不可判定命题,就意味着系统中存在真的但不可证的命题。事实上,哥德尔构造的命题P身就是一个真的但在系统中不可证的命题。
哥德尔证明第二不完全性定理的思路是,既然有事实,如果系统PA是一致的,则P在系统PA中不可证,那么表达这个事实的论证可以在系统PA中形式化。例如,“系统PA是一致的”可以表示为Con(PA),同时把“P在系统PA中不可证”就用P表示,相应论证就表示成:
├ Con(PA)→ P
根据前述,如果 Con(PA)可证,则有 ├ P
即P在系统PA中可证。这显然与第一不完全性定律相矛盾。
哥德尔定理第一次向世人澄清了“真”与“可证”概念的本质区别。由于一个命题在一个形式系统中可证,就意味着遵循推理规则,能够一步接着一步地在有穷步骤内完成证明过程。但哥德尔指出,即使限制在皮亚诺算术这样狭小的数学范围内,要想用形式化的有穷手段证明它的无矛盾性这一真理都是不可能的。换句话说,任何丰富到足以展开初等数论的形式系统,至少会遗漏一个数学真理,数学形式系统不能囊括所有的数学真理。那么,能不能添加更强的公理扩充原有的系统穷尽所有的数学真理呢?哥德尔说,不行!因为,对于新扩充的系统还会有新的数学真命题在其中不可证,…… 继续扩充,情形依然如此。实际上,除非你把这种扩张过程持续到超穷,否则这种系统连最简单的算术真理都不能穷尽。哥德尔本人谈及定理证明过程时曾说过,“我在数论形式系统中构造不可判定命题的启发性原则是将可证性和相对应的高度超穷的客观数学真理概念相区分”。看来,可证数学命题和数学真理之间永远隔着一个超穷距离,仅仅使用有穷方法甚至没有希望逼近它。正如哥德尔所说,“数学不仅是不完全的,还是不可完全的”,这一点也恰是哥德尔定理最深刻的哲学义蕴。
3. 哥德尔定理在不同语境下的版本
显然,哥德尔定理与数学家的最初期望相去甚远,因为,一方面人们期望数学形式系统囊括所有数学真理,一方面又分明知道总有数学真理不可证;一方面经验和直觉告诉人们数学是一致的不含矛盾的,理性又教导人们数学不能证明它自身的一致性。因此,定理发现之后,
人们不得不重新调整自己的思维方式。著名数学家外尔(H.Weyl)当时曾就此感慨到,“上帝是存在的,因为数学无疑是一致的;魔鬼也是存在的,因为我们不能证明这种一致性。”这段话形象地道出了当时处于两难境遇的数学家的困惑。甚至有人把哥德尔定理的意义进一步引申:宇宙给了我们一种选择,就人类认知而言,我们要么拥有一本正确的但却是极不完整的小书,要么拥有一本完整的但缺乏内在和谐的大书,我们可以选择完整也可以选择和谐,但鱼和熊掌不可得兼。在我们看来,这些说法不过是哥德尔定理带给人们的某些启示,事实上,哥德尔定理自图灵机概念诞生之后更加凸现其深刻和意义深远。
1930年代,哥德尔、丘奇(A.Church)、克林尼(G.J.Kleene)、图灵等一批数学家开始对直观的“算法可计算”概念的数学刻画进行探索,相继提出了λ-可定义、递归函数和图灵机概念,并给出了影响广远的丘奇-图灵论题:一切算法可计算函数都是递归函数,一切算法可计算函数都是通用图灵机可计算的函数,或者说,每个算法都可在一台通用图灵机上程序化。虽然几种数学刻画是等价的,但是哥德尔最为赞赏图灵机概念,这其中最为重要的是,图灵机概念第一次澄清了形式系统的真正内涵——形式系统不过是一种产生定理的机械程序,或者说图灵机的工作程序就是数学家在形式系统中进行工作的程序。有了图灵机概念以后人们开始期望造出能证明所有数学定理的机器,但是,既然图灵机就等价于形式系统,那么形式系统的局限就是图灵机的局限。于是,哥德尔的第一不完全性定理在给出图灵机概念之后就有了如下几种等价说法:
(1)没有数学形式系统既是一致的又是完全的。
(2)没有定理证明机器(或机器程序)能够证明所有的数学真理。 (3)数学是算法不可完全的。 (4)数学是机器程序不可穷尽的。
(5)停机定理——没有任何图灵机程序能判定,任给一个程序P和一套输入I,依照这套输入I运行程序P时,机器是否能停机。即停机问题是图灵机算法不可解的。由于任何数字计算机都是通用图灵机的特例,因此,停机定理表明,本质上,计算机的能力是有限的。 1985年,切廷(G.J.Chaitin)在《算法信息论》一书中,给出了算法信息论中的哥德尔式不可判定命题,并且给出哥德尔定理的算法信息论版本:
(6)对形式算术系统T而言,可以找到一个数CT,它是公理系统T的信息熵,即描述或处理这些公理所需要的最小信息量,如果K(w)是字为w的科尔莫葛洛夫(A.N.Kolmogorov)复杂性,则T中一切满足K(w)> CT 的命题在T中不可证。
施瓦茨(Schwarz)曾就这些结果总结过颇具启发的三句话:“希尔伯特认为,一切事物都是 [算法]可知的;哥德尔认为有些事物不是[算法]可知的;切廷认为只有少部分事物是[算法]可知的”。可见,哥德尔定理确实深刻地变革了我们对于一致性、完全性、真理、可证性和可计算性之间关系的传统认识。
曾有人问哥德尔,能否把他的定理推广到数学以外。哥德尔尝试给出了一个自己认为合理的表述:“一个完全不自由的社会(即处处按统一法则行事的社会),就其行为而言,或者是不一致的,或者是不完全的,即无力解决某些可能是极端重要的问题,而当社会面临困境时,这种不一致或者不完全都会危机整个社会的生存。”
4. 哥德尔本人谈不完全性定理的哲学义蕴
既然任何一致的形式系统和图灵机程序不能囊括所有的数学真理,而我们人心能够看出它们
的真理性,那么哥德尔定理似乎表明,在机器模拟人的智能方面必定存在着某种不能超越的逻辑极限,或者说计算机永远不能做人所能做的一切。于是,一批具有数理背景的科学家和哲学家很难抵御一种诱惑,用哥德尔不完全性定理论证“人心将永远胜过计算机”的结论。果真可以作如此论证吗?我们可以考察一下哥德尔本人对他的定理的哲学义蕴的阐释。
从哥德尔的一部分手稿和1970年代与数学家王浩的谈话记录中,我们得知,他在不同场合曾屡次谈及不完全性定理的哲学义蕴,甚至1951年的“第25届吉布斯演讲”的题目就是“有关数学基础的基本定理及其哲学义蕴”,特别是集中于心-脑-计算机-哥德尔定理的关系问题他曾有过许多论述。
哥德尔首先严格区分了心(mind)、脑(brain)、计算机的功能后明确断言,人类大脑的功能不过像一台计算机,心与脑同一的观点却是我们时代的偏见,但不完全性定理不能作为“人心胜过计算机”论断的直接证据,要推出如此强硬论断还需要其他假定。
事实上,在严格区分了心、脑、计算机的功能后,“人心是否胜过计算机”的问题可以转换为几个子问题:(1)是否大脑和心的功能等同?(2)是否大脑的运作等同于计算机的运作?(3)是否心的本质是可计算的?这三个问题实际上就是“心脑功能同一论”、“大脑的可计算主义”和“心的可计算主义”是否成立的问题。
心脑同一论是20世纪50年代末以来西方占据主流的一种哲学理论,也是人工智能的理论基础。但哥德尔认为,心脑同一论是人们普遍接受的时代偏见,而心的可计算主义是应当得到批判的。首先,哥德尔曾在多次申明,他本人并不反对用不完全性定理作为证明“人心胜过计算机”这一结论的部分证据,因为在他看来,不完全性定理并未给出人类理性的极限,而只揭示了数学形式主义的内在局限,但是,仅仅使用他的定理不足以作出如此强硬论断。哥德尔指出,图灵曾给出的“心的过程不能超越机械过程”的论证在附加以下两个假定之后才有可能:(a)没有与物质相分离的心。(b)大脑的功能基本上像一台数字计算机。他认为(b)的概然性很高;但无论如何(a)是将要被科学所否证的时代偏见。
实际上,早在1951年的吉布斯演讲稿(1995年发表)中,哥德尔就指出,附加了希尔伯特主张的“人类理性提出的问题人类理性一定能够解答”这样一个哲学假定,有可能从不完全性定理推出“人心胜过计算机”的结论,当然,哥德尔本人也倾向于这一假定成立,但同时他也意识到,这种对于“心脑同一论”和“心的可计算主义”的批判未必会令人信服,因为它毕竟是一种推论式的。
值得注意的一点是,哥德尔第二不完全性定理的一种形式是说,任何恰当的定理证明机器,或者定理证明程序,如果它是一致的,那么它不能证明表达它自身一致性的命题是定理。哥德尔认为,人心有洞察具有超穷性质的数学真理的直觉能力,特别是能够洞察数学形式系统的一致性。但是由于形式系统的局限性,一方面,人心不能将他的全部数学直觉形式化,如果人心把他的某些数学直觉形式化了,这件事本身便要产生新的直觉知识(如这个形式系统的一致性知识);另一方面,不排除存在一台定理证明机器确实等价于数学直觉这种可能。但重要的在于,假定有这样的机器M,由第二不完全性定理,我们不可能证明M确实如此。看来,当人们应用哥德尔定理试图严格地作出“人心胜过计算机”的论证时,其中包含着一个令人难以察觉的漏洞:问题的核心并不在于是否存在能捕获人类直觉的定理证明机器,而恰恰在于,即使存在这样一台机器,也不能证明它确实做到了这一步。恰如哥德尔所说:“不完全性定理并不排除存在事实上等价于数学直觉的定理证明机器。但是定理蕴涵着,我们或者不能确切知道这台机器的详情,或者不能确切知道它是否会准确无误地工作。” 在纪念现代计算机先驱冯&S226;诺意曼(J.von Neumann)诞辰60 周年大会上,哥德尔曾
正在阅读:
哥德尔定律及其哲学意蕴03-10
棠村镇中心学校扫黑除恶工作实施方案05-21
西大2017版0886《兽医生物制品学》网上作业及课程考试复习资料有答案12-05
11 第十一章 结构体与共用体05-21
徐霞客中学绿色小记者站 运行草案10-02
市交通运输系统宣传活动工作总结报告08-04
人教版小学数学《比例尺》教学设计11-27
中国保险监督管理委员会关于英大泰和人寿保险股份有限公司股权转07-09
(完整版)中财第一二章习题.doc04-18
- exercise2
- 铅锌矿详查地质设计 - 图文
- 厨余垃圾、餐厨垃圾堆肥系统设计方案
- 陈明珠开题报告
- 化工原理精选例题
- 政府形象宣传册营销案例
- 小学一至三年级语文阅读专项练习题
- 2014.民诉 期末考试 复习题
- 巅峰智业 - 做好顶层设计对建设城市的重要意义
- (三起)冀教版三年级英语上册Unit4 Lesson24练习题及答案
- 2017年实心轮胎现状及发展趋势分析(目录)
- 基于GIS的农用地定级技术研究定稿
- 2017-2022年中国医疗保健市场调查与市场前景预测报告(目录) - 图文
- 作业
- OFDM技术仿真(MATLAB代码) - 图文
- Android工程师笔试题及答案
- 生命密码联合密码
- 空间地上权若干法律问题探究
- 江苏学业水平测试《机械基础》模拟试题
- 选课走班实施方案
- 德尔
- 意蕴
- 定律
- 哲学
- 及其
- 天狼50 说明 - 图文
- 中国银监会办公厅关于信托公司房地产信托业务风险提示的通知(银监办发〔2010〕343号)
- 12315消费维权知识试卷修订终稿
- 云发4号开展“五创五增转作风,服务群众促发展”作风建设年主题活动实施方案
- TDB提速道岔保护器说明书
- 英语初高中衔接
- 供配电设计正文
- C语言第一类
- 批创思维导论(答案)
- 各章检测试题库一(附参考答案)
- 小学数学计算题题库(巧算与速算)含阶段测试题
- 足球裁判考试试题库
- 湘教版高中美术鉴赏课全套教案 - 图文
- 融资租赁公司设立的相关法律框架、设立条件、审批流程及报送文
- 群众工作站工作职责
- 燕京2#楼冬施方案 - 图文
- 2018年教师编制招聘考试教育考试真题及答案
- 统计学期考试题4(附答案)
- 对坪地民族中学校可持续发展的思考
- 州城文武庙验收主持词