3.第三次数学危机.docxVIP

第三次数学危机

阿兰.杉德基说过：“科学是唯一的自动纠错的人类系统，不过，科学也是只有通过证明自己错误才得以进步的过程。”第三次数学危机是因为集合论含有悖论而导致的，其中罗素悖论是核心，后来数学家们给出了公理化的解决方案（如ZFC集合论），但只是在形式上解决了危机，有没有彻底解决危机不得而知，这是因为数学界没有找准问题的症结，没有认识到“实无限思想”是危机的罪魁祸首，是它导致了循环判断.（由于ZFC系统本身的无矛盾性至今没有被证明，所以至今不能保证在这个系统中今后不会出现悖论，虽然在ZFC系统中能够排除已经出现的那些集合论的悖论，并且ZFC系统应用到今天，尚未出现过其他矛盾.但是Poincaré指出：我们设置栅栏，把羊群围住，免受狼的侵袭，但是很可能在围栅栏时就已经有一条狼被围在其中了.由于ZFC系统不能保证在这个系统中今后不会出现悖论，从这个意义上来说，第三次数学危机并没有彻底解决.）

哥德尔早早预见到了连续统问题对通常的集合论公理系统ZFC的独立性，并提出了一个解决它（以及其他类似的独立性问题）的研究方略，即寻找新公理加强ZFC，从而确定连续统基数的大小，后人称之为“哥德尔纲领”（G?del’sProgram）[1].这个纲领指引了20世纪70年代以来集合论中的一大批实践，特别是以武丁（HughWoodin）、斯蒂尔（JohnSteel）等人为代表的集合论加州学派的一系列重要工