相容性独立性完全性解析.ppt

* ５.数学家并未失去信心，也未停止工作 数学的逻辑基础，虽然从２０世纪三十年代起就由哥德尔定理发现了问题，但数学仍然有力地解决着各种实际问题，发挥着越来越大的作用。卫星上了天，人类也登上月球。数学不但得到认可，而且深入各个角落。这与１７世纪微积分诞生以后的情形很相似。当时，虽然有“贝克莱悖论”，但数学仍然有力地解决着机械、航海、天文等各领域的大量实际问题，发挥着巨大的作用。 所以说，数学家并未因数学基础的问题尚未解决而失去信心，也从来没有停止他们的数学工作。 * 四、《数学：确定性的丧失》 １.克莱因的一本材料丰富的书 美国著名数学家Ｍ?克莱因１９８０年出版了一本名为《数学：确定性的丧失》的书。 这是一本材料十分丰富的书。这本书早已有了中译本。 但对这一书的书名，有不少数学家说：“实在不敢苟同”。 * * ２.确定性并未丧失 不敢苟同“数学丧失了确定性”的原因有二： １）哥德尔定理乃至“确定性的丧失”，本身是非常确定的，是用非常确定的数学方法得出的非常确定的结果。 ２）是的，数学的“确定性”不是绝对的，是有局限性的；但这种局限性不是含糊的，数学是“非常确定”地阐明了自己的不确定性。即，局限性在哪里，是“确定的”。 * ３.新境界的开辟 数学上要求的“确定性”，是历史上长 期形成的一种定见或者说是成见（这不免 就有些贬意了）。这种带引号的“确定性” 的丧失，其实常常意味着新境界的开辟。 * “相容性、独立性和完全性”的观点 * 一、相容性、独立性和完全性 组织、表述数学知识和理论的经典方法，往往是形式的公理化方法，即从一批公理、定义出发，通过逻辑推理，得到一系列结论（称为命题、定理或推论）的方法。 公元前300年欧几里得的 几何《原本》：5条公理；5条共设；119个定义；465个命题 1899年希尔伯特的《几何基础》：几何对象的深刻抽象；公理系统的逻辑要求 20条公理，分为五组：关联公理，顺序公理，合同公理，平行公理，连续公理。 形式的公理化方法在逻辑上的要求，是满足相容性、独立性和完全性。 * 1.相容性：不允许从公理系统推出矛盾 2.独立性：每一个公理不可由其它公理 推出 3.完全性：该形式系统中所有命题都能 判定真伪 * 【含有“不可判定命题”的系统是不完全的。 所谓不可判定命题，是指该命题和其反命题都不能由该系统中的公理推导出来。 （A与非A都能导出叫“不相容”，A与非A都不能导出叫“不完全”）】 * 二、哥德尔的不完全性定理 1.关于 数学证明 与 科学证明 的再认识 公理＋逻辑推理 假说＋观察、实验 （主观符合客观） 不能推翻 可能推翻 * 数学证明是依靠逻辑推理导出结论，定理一经证明就永远是对的，除非发现证明本身有误。 而其它学科的证明，往往是在某些依据下提出一种假说，当观察和实验与该假说相符，就成为假说成立的证据。如果该假说不仅能描述已知的现象，而且能预见未知的事实，就成为假说成立的更强的证据。证据积累到一定的数量，假说就改称为理论而被人们接受。 观察和实验是可能出错的，或者可能是不精确的，从而只能提供近似的证据，导出相对正确的理论。所以其它学科的理论，可能在后来会被证明是错的，从而导致科学上的革命，以至用新理论去代替旧理论。数学证明却与此不同，数学证明不是依赖于观察和实验，而是依赖于逻辑，所以，数学证明具有“绝对的意义”。 * 这些，是我们过去的认识。但是，形式的、公理化的、逻辑的推理方法确实是无懈可击吗？数学真理一定是绝对真理吗？ 1931年，年仅25岁的奥地利数学家和逻辑学家哥德尔（Kurt .Godel 1906年－1978年）在《数学物理期刊》上发表了一篇题为“论《数学原理》和有关系统中的形式不可判定命题”的论文。他当时在维也纳大学。论文刚发表时并未受到重视，但仅过了几年，就被数学界认为是数学和逻辑的基础方面的划时代文献。哥德尔的论文提出了公理化方法的局限性，这是人们始料不及的。哥德尔证明了两个重要的定理，即哥德尔第一定理和哥德尔第二定理。 * * ２.哥德尔第一定理：对于包含自然数 系的任何相容的形式体系Ｓ，Ｓ中都有不 可判定命题，从而该体系是“不完全”的。 （这里，“包含自然数系”不是特别的要求， 一般的形式体系都包含自然数系。） * 哥德尔第一定理表明，相容的体系一定是不完全的，这太令人吃惊了！ 例如哥德巴赫猜想，至今未被证明，也未被推翻，它是不可判定的命题吗？那样我们就永远也不能证明它了！ * ３. 哥德尔第二定理：对于包含自然数系的任何相容的形式体系Ｓ，“Ｓ的相容性”是不可判定的。 只有有穷个命题的体系，“体系的相容性”原则上是可以判定的；但包含自然数系的形式体系中有无穷个命题（因为自然数有无穷多个），而哥德尔又证明了：对于包含自然数系的任何相容的形式体系Ｓ，