罗素Bertrand Russell 1872-1970.pptVIP

梦想与悖论 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：这是一本“被每个哲学家所讨论，而实际上又无人读过的名著。