笛卡尔之梦及中国数学.ppt

梦想与悖论 1900年前后，逻辑悖论的出现 1930年之前: 两个基本问题 I 1930年之前：两个基本问题 II 所以，罗素就是教皇。 希尔伯特纲领 1900年巴黎国际数学家大会 为什么希尔伯特要操心这样的事情呢？ 三种几何 希尔伯特纲领建立的动机 形式系统 希尔伯特纲领 希尔伯特的梦想 梦想的破灭 哥德尔Kurt Godel (1906-1978) 基本逻辑符号的哥德尔配数（简化本） [8，4，11，9，8，11，5，7，13，9] 莱布尼兹、希尔伯特 用数来表示概念或词句 哥德尔定理 数学真理 ＞ 数学定理 The End 第10讲 数学猜想 梦想与悖论 希尔伯特纲领 1906年4月28日出生于捷克的布尔诺Brno 1924年 入维也纳大学，理论物理 1929年获奥地利国籍，完成博士论文 1931年不完备性定理发表 1940年定居普林斯顿 1948年加入美国国籍 1978年1月14日在普林斯顿去世 哥德尔和它的父母及哥哥，约1910年 哥德尔和阿黛勒德结婚照 维也纳 一九三八年9月30日 哥德尔与爱因斯坦，普林斯顿 一九五零年8月 罗素与怀特海：《数学原理》 John Kemeny：这是一本“被每个哲学家所讨论，而实际上又无人读过的名著。” 符号 哥德尔数 意义 ～ 1 非 ∨ 2 或 3 如果……那么…… 4 存在 = 5 等于 0 6 零 s 7 ……的直接后继 （ 8 标点符号 ） 9 标点符号 逻辑公式： 存在着一个数x，它是数y的直接后继。 x、y：数值变元; 用大于10的素数来表示。 令 x = 11、y = 13。 x = 11、y = 13 [8，4，11，9，8，11，5，7，13，9] 符号 哥德尔数 意义 ～ 1 非 ∨ 2 或 3 如果……那么…… 4 存在 = 5 等于 0 6 零 s 7 ……的直接后继 （ 8 标点符号 ） 9 标点符号 应用“哥德尔配数法”使语法算术化 《数学原理》中的每一条陈述，都可以安排一个唯一的数与之对应。 说谎者悖论（Liar’s paradox） 避开难以捉摸的真与假的概念 用“可证性”的概念代替“真” 利用哥德尔的编码方案，可以编码上述论断 通过46条推理，得到这条陈述，称为哥德尔句G 这个句子是错的 这个陈述是不可证的 如果哥德尔陈述G是可证的 由于G是真的，根据论断，它不可证 在这个系统中，陈述G和它的否定都成立 这个陈述G是不可证的 所以，这个系统是不一致的 如果哥德尔陈述G是不可证的 这个系统是不完备的 由于陈述G是真的，但是却不可证 这个陈述G是不可证的 哥德尔不完备定理: 对于算术的任何一致的形式化系统，都存在着一个命题G，在这个系统中不可证明。 1931： “论《数学原理》及其有关系统中的形式不可判定命题 I ” 哥德尔定理证明的两个关键步骤 哥德尔配数：对算术中的所有可能的陈述进行编码； 编码一个论断(哥德尔句G)：“这个陈述G是不可证的”。 被证明 被否证 G2 G1 * 罗素 Bertrand Russell 1872-1970 纯数学是这样一门学科，在其中我们并不知道我们在谈论什么，或者我们不知道我们所谈论者是否是真的。 2003年4月30日 数学危机 第 9 讲 真理与定理Godel Theorem 希尔伯特纲领 梦想的破灭 笛卡尔 René Descartes 1596-1650 1596年3月31日生于法国的图伦 1619年11月10 日 Ausonius: Quod vitae sectabor iter 在我的一生中，我该走哪条路？ 1650年2月11日在斯德哥尔摩去世 科学中正确运用理性和追求真理的方法论 1637年6月8日 《折光学》 《气象学》 《几何学》 寻求知识的途径 寻求知识的途径 仅接纳自己理解并可以排除疑问的东西 把大的困难拆分成小的困难 从简单到复杂的推理 进行检验 笛卡尔之梦 现实问题 数学问题（几何问题） 代数问题（解析几何） 多项式方程组 一元高次方程 笛卡尔的梦想：将世界数学化 人类的所有问题，都可以通过逻辑计算，理性地、系统地加以解决。 数学真理 = 数学定理 莱布尼兹（德国） Gottfried Leibniz (1646-1716) 笛卡尔计划的一个具体的实现方