- 1、本文档共30页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第13章 20世纪数学概观(Ⅲ) 13.1 哥德尔不完全性定理 哥德尔是奥地利著名数学家,不完备性定理是他在1931年于《论数学原理及有关系统中的形式不可判定命题》中提出来的。 这一理论使数学基础研究发生了划时代的变化,更是现代逻辑史上很重要的一座里程碑 哥德尔 哥德尔(1906—1978)生于捷克的布尔诺,卒于美国普林斯顿。早年在维也纳大学攻读修读理论物理、基础数学,后来又转研数理逻辑、集合论。但1940年代中就将注意力投放在哲学上,并参加哲学小组活动。 1930年获博士学位。其博士论文证明了「狭谓词演算的有效公式皆可证」。之后在维也纳大学工作。 1938年到美国普林斯顿高等研究院任职,1948年加入美国籍。1953年成为该所教授。 哥德尔发展了冯·诺伊曼和伯奈斯等人的工作,其主要贡献在逻辑学和数学基础方面。 在20世纪初,他证明了哥德尔不完全性定理,这一著名结果发表在1931年的论文中。 他还致力于连续统假设的研究,在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了(广义)连续统假设的相容性定理,并于1940年发表。他的工作对公理集合论有重要影响,而且直接导致了集合和序数上的递归论的产生。 性格 哥德尔是个要求严格的人。因此,他很多的想法在生前都没有正式发表甚至记录,要逝世后从其手稿找出。 他不喜欢谈论自己或受到注目。哥德尔曾要求王浩在死后才可以发表一篇有关他的传记。他在学术研究之外的东西,都不公开发表意见。 他亦讨厌旅行。 他自幼多病,而且从小便患了疑病症。他还患过抑郁症。后来他在普林斯顿的医院绝食而死,因为他认为那些食物有毒。 国籍 虽然他的传记列出很多国家,他通常被视为奥地利人。 他出生在奥匈帝国的布尔诺,在十二岁时成为捷克斯洛伐克公民,在二十三岁时成为奥地利公民。当希特勒吞并奥地利时,哥德尔自动成为德国人。 1948年4月,哥德尔夫妇宣誓成为美国公民。在获得美国公民前接受面试时,若不是爱因斯坦等老朋友的拼命阻止,哥德尔对美国宪法较真的探究将使例行的审核程序难以进行下去。 哥德尔第一不完全定理 设系统S包含有一阶谓词逻辑与初等数论,如果S是一致的,则下文的T与非T在S中均不可证。 哥德尔第二不完全定理 如果系统S含有初等数论,当S无矛盾时,它的无矛盾性不可能在S内证明。 第一不完备性定理 任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。 第二不完备性定理 任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔不完全性定理的影响 但是哥德尔不完全性定理的影响远远超出了数学的范围。它不仅使数学、逻辑学发生革命性的变化,引发了许多富有挑战性的问题,而且还涉及哲学、语言学和计算机科学,甚至宇宙学。 2002年8月17日,著名宇宙学家霍金在北京举行的国际弦理论会议上发表了题为《哥德尔与M理论》的报告,认为建立一个单一的描述宇宙的大统一理论是不太可能的,这一推测也正是基于哥德尔不完全性定理。 哥德尔不完全性定理的影响 哥德尔不完全性定理一举粉碎了数学家两千年来的信念。 他告诉我们,真与可证是两个概念。可证的一定是真的,但真的不一定可证。某种意义上,悖论的阴影将永远伴随着我们。 无怪乎大数学家外尔发出这样的感叹:“上帝是存在的,因为数学无疑是相容的;魔鬼也是存在的,因为我们不能证明这种相容性。” 13.2 高斯-博内公式的推广 高斯-博内公式有许多重要应用,其中之一就是关于曲面上向量场奇点的庞加莱定理: 设S是紧致无边界的可定向曲面。对于S上任何只有孤立奇点的向量场,它在所有奇点处的指标之和等于S的欧拉示性数。因为球面(以及与球面同胚的闭曲面)的欧拉示性数为2,所以球面上的向量场必有奇点。 这一点可比喻如下:若把地球上各地的风速看成一个向量场,则任何时候地球上总有一个地方没有风。 陈省身生于1911年,15岁考上南开大学,是第一位获得国际数学界最高荣誉“沃尔夫数学奖”的华人。 194
文档评论(0)