数学史与科学史数学梦想与悖论.pptx

《数学史与科学史数学梦想与悖论.pptx》由会员分享，可在线阅读，更多相关《数学史与科学史数学梦想与悖论.pptx（52页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第第 9 讲讲真理与定理Godel Theorem第1页/共52页希尔伯特纲领梦想的破灭 梦想与悖论第2页/共52页笛卡尔RenDescartes1596-16501596年3月31日生于法国的图伦1619年11月10日Ausonius:Quod vitae sectabor iter在我的一生中，我该走哪条路？1650年2月11日在斯德哥尔摩去世第3页/共52页科学中正确运用理性和追求真理的方法论1637年6月8日折光学气象学几何学第4页/共52页寻求知识的途径寻求知识的途径仅接纳自己理解并可以排除疑问的东西把大的困难拆分成小的困难从简单到复杂的推理进行检验第5页/共52页笛卡尔之梦现实问题

2、数学问题（几何问题）代数问题（解析几何）多项式方程组一元高次方程第6页/共52页笛卡尔的梦想：将世界数学化人类的所有问题，都可以通过逻辑计算，理性地、系统地加以解决。数学真理=数学定理第7页/共52页莱布尼兹（德国）GottfriedLeibniz(1646-1716)笛卡尔计划的一个具体的实现方案:将思维演算化、计算化，以至于可以计算机化。解析几何如同一台庞大的绞肉机，你把问题塞进去，只要摇动曲柄，就可以得到答案。第8页/共52页沙勒(法国）MichelChasles17931880为几何大厦添砖加瓦，从此就用不着天才那样的人物了。几何方法的起源和发展的历史概述第9页/共52页1900年前后

3、，逻辑悖论的出现罗素：日常语言和逻辑中可以出现悖论理发师悖论村中的理发师只给本村那些不给自己理发的人理发。谁给理发师理发？第10页/共52页庞伽莱（法国）HenriPoincar（1854-1912）为了防备狼，羊群已用篱笆圈了起来，但却不知道圈里有没有狼。第11页/共52页数学的完备性completeness一个数学系统是完备的，那么这个系统中的所有命题都是可以被证明的，每一个数学真理都对应着一个数学定理。1930年之前:两个基本问题 I每一个明确的数学问题都应该关联一个明确的判断，或者是给出答案，或者是证明它不可解。第12页/共52页数学的一致性consistency 1930年之前：两个

4、基本问题 II 一致性（相容性、无矛盾、协调性）如果说一个数学系统是一致的，不可能得出00的结果。不能出现这个系统中的一个命题与它的否定命题都是对的，即不能出现悖论。第13页/共52页如果一个系统是不一致的，则可以按照我们的喜好来证明一个论断是真的，或者假的，那样的话，我们的知识就不会建立在一个可靠的基础之上了。第14页/共52页罗素:我是教皇如果我们承认2+2=5，则有2=3或者2=1因为教皇和罗素是两个人，且2=1于是1=2所以，罗素就是教皇。第15页/共52页梦想与悖论梦想的破灭 希尔伯特纲领第16页/共52页 1900年巴黎国际数学家大会希尔伯特23问题第二个问题“算术公理的一致性”数

5、学推理的可靠性：只要按照数学推理的规则，就不应该得出相互矛盾的陈述。希尔伯特：一致性是任何类型的公理化系统的必要条件第17页/共52页 为什么希尔伯特要操心这样的事情呢？2+2=5真的可以发生吗？三角形的内角和180吗？第18页/共52页 几何原本1482年 威尼斯第19页/共52页罗巴切夫斯基（俄国）NikolaiLobachevski（1792-1856）波约（匈牙利）JanosBolyai（1802-1860）存在着完全一致的、关于点和线的数学系统，他们不同于欧几里得的系统。三角形的内角和可以大于180椭圆几何三角形的内角和可以小于180双曲几何第20页/共52页 三种几何平面双曲(马鞍

6、）椭圆（球）1条平行线许多平行线没有平行线=180180平面宇宙开放宇宙封闭宇宙冷寂冷寂大挤压欧几里得罗巴切夫斯基黎曼第21页/共52页希尔伯特DavidHilbert1862年1月23日生于哥尼斯堡1943年2月14日死于哥廷根 希尔伯特纲领建立的动机罗素悖论产生的原因：自然陈述中语义的含糊性铲除悖论：为全部数学构建一种纯句法的、实质上“无意义”的框架，在其中可以谈论数学的真或假。第22页/共52页将每一个数学真理都形式化，从而永远排除在数学中出现悖论陈述的可能性。也不会产生不可判定的命题。形式系统：形式化了的公理系统。系统中的符号与符号串（公式）完全不含意义。第23页/共52页 形式系统公

7、式：按照一定的形式规则排列的符号串公理：一个公式推理规则：由有限个确定的公式（规则的假设）得到某一个确定的公式（规则的结论）定理：公理；若规则的假设是定理，其结论也是形式系统的公式是否定理，可以机械地验证第24页/共52页 希尔伯特纲领第一步，建立形式系统第二步，考虑数学结构将数学对象与形式系统中的符号、公式相匹配，用不含意义的形式语言来解释含有意义的数学对象。第25页/共52页不使用那些有争议的推论1920年1930年希尔伯特、阿克曼、伯奈斯、冯诺伊曼元数学（或称证明论）用矛盾去证明存在超限归纳实无穷集非断言性的定义选择公理存在性的证明也必须是构造性的元数学证明的概念与方法是有限性的第26页

8、/共52页希尔伯特（1928年）：利用这种新的数学基础人们完全可以称之为证明理论，我将可以解决世界上所有的基础问题。所有有意义的论述都将被证明或证伪，那样就不存在悬而未决的命题了。第27页/共52页 希尔伯特的梦想构造一个形式系统，它既是完备的，又是一致的。在数学结构的真理与形式系统的定理之间建立一种完美的一一对应的关系。把整个数学真理全部形式化，以防止悖论跨越自然语言与数学语言的界限而侵入纯洁的数学世界。第28页/共52页定理陈述证明机器结果：真假希尔伯特的形式系统证明机器第29页/共52页希尔伯特1900年1928年9月波伦亚国际数学家大会“数学基础问题”（四个问题）基本问题：可否证明每一

9、个真的数学陈述。第30页/共52页梦想与悖论希尔伯特纲领 梦想的破灭第31页/共52页哥德尔Kurt Godel(1906-1978)1906年4月28日出生于捷克的布尔诺Brno1924年入维也纳大学，理论物理1929年获奥地利国籍，完成博士论文1931年不完备性定理发表1940年定居普林斯顿1948年加入美国国籍1978年1月14日在普林斯顿去世第32页/共52页哥德尔和它的父母及哥哥，约1910年第33页/共52页哥德尔和阿黛勒德结婚照维也纳一九三八年9月30日第34页/共52页哥德尔与爱因斯坦，普林斯顿一九五零年8月第35页/共52页第36页/共52页罗素与怀特海：数学原理JohnKe

10、meny：这是一本“被每个哲学家所讨论，而实际上又无人读过的名著。”第37页/共52页符号哥德尔数意义1非2或3如果那么4存在=5等于06零s7的直接后继（8标点符号）9标点符号 基本逻辑符号的哥德尔配数（简化本）第38页/共52页逻辑公式：存在着一个数x，它是数y的直接后继。x、y：数值变元;用大于10的素数来表示。令x=11、y=13。第39页/共52页x=11、y=138，4，11，9，8，11，5，7，13，9符号哥德尔数意义1非2或3如果那么4存在=5等于06零s7的直接后继（8标点符号）9标点符号第40页/共52页8，4，11，9，8，11，5，7，13，9第41页/共52页 莱布

11、尼兹、希尔伯特 用数来表示概念或词句应用“哥德尔配数法”使语法算术化数学原理中的每一条陈述，都可以安排一个唯一的数与之对应。第42页/共52页说 谎 者 悖 论（Liarsparadox）避开难以捉摸的真与假的概念用“可证性”的概念代替“真”利用哥德尔的编码方案，可以编码上述论断通过46条推理，得到这条陈述，称为哥德尔句G这个句子是错的这个陈述是不可证的第43页/共52页如果哥德尔陈述G是可证的由于G是真的，根据论断，它不可证在这个系统中，陈述G和它的否定都成立这个陈述G是不可证的所以，这个系统是不一致的第44页/共52页如果哥德尔陈述G是不可证的这个系统是不完备的由于陈述G是真的，但是却不可证这个陈述G是不可证的第45页/共52页哥德尔不完备定理:对于算术的任何一致的形式化系统，都存在着一个命题G，在这个系统中不可证明。1931：“论数学原理及其有关系统中的形式不可判定命题I”第46页/共52页哥德尔定理证明的两个关键步骤哥德尔配数：对算术中的所有可能的陈述进行编码；编码一个论断(哥德尔句G)：“这个陈述G是不可证的”。第47页/共52页哥德尔定理被证明被否证G2G1第48页/共52页数学真理 数学定理直觉证明第49页/共52页The End第50页/共52页第10讲 数学猜想时间:5月21日主讲:王辉第51页/共52页感谢您的观看。第52页/共52页