人、科学与真理.pptVIP

柏拉图Plato (428～348 BC) 柏拉图Plato (428～348 BC) 希帕恰斯Hipparchus公元前2世纪 托勒密Ptolemy (ca 100 - ca 170) 托勒密体系 哥白尼Nicholaus Copernicus (1473-1543) 哥白尼日心说解决的问题 火星的视运动 哥白尼(1473-1543) Nicholaus Copernicus 日心说的问题 库恩(美国) Thomas S. Kuhn1922~1996 《最后的晚餐》 《最后的晚餐》（草稿） 1632年:关于两大世界体系的对话 布鲁诺（1548-1600） 1632年:关于两大世界体系的对话 悔过书 1900年前后，集合论中出现逻辑悖论 1920s: 两个基本问题 所以，罗素就是教皇。 希尔伯特： 希尔伯特纲领 1920s: 两个基本问题 哥德尔定理 数学真理 ＞ 数学定理 罗素（B.Russell）英国 （1872-1970 ） 理发师悖论 村中的理发师只给本村那些不给自己理发的人理发。 谁给理发师理发？ 给自己理 不给自己理 不给自己理 给自己理 庞伽莱（法国） Henri Poincaré （1854-1912） 为了防备狼，羊群已用篱笆圈了起来，但却不知道圈里有没有狼。 第三次数学危机 1908 年公理化集合论