第二次数学危机彻底解决之后,再经过近200年的发展,科学家们普遍认为系统而严密的“科学大厦”已经基本建立。
然而,人们没有注意到的是,作为“现代数学”基础的“集合论”还隐藏着很多的问题没有解决。
集合论是“现代数学”的基础,几乎每一个分支都是建立在“集合论”的基础之上的。
“集合论”的诞生之初,在“分析的严格化”思想的指导下,彻底地解决了由“微积分”引发的第二次数学危机。
在那一次危机中,“集合论”成为了“近代数学大厦”的基础。
但是,“集合论”和很多新生事物一样,在诞生之初也是不完善的,不断的有人指出了它的缺陷,就连康托尔自己也被其中的一些悖论所困扰。
这些无法解决的问题不断地积累,终于在“罗素悖论”被提出之后彻底爆发了。
1907年,数学家罗素针对“集合论”的不严谨性提出了一个著名的“罗素悖论”,可以简单地描述如下:
“设有这样一个集合:“A={x|x ∉ A}”。试问:A∈A是否成立?
①如A∈A成立,那么就不符合x∉A,有A∉A;
②如果A∉A,则符合x∉A,有A∈A。”
这个悖论被形象地演化成了多个故事,其中最著名的一个故事叫做“理发师悖论”,如下:
理发师有一天心血来潮,在店门口写了一个有趣的公告:我只给所有“不给自己刮胡子”的人刮胡子。当他发现自己的胡子有点长,准备给自己刮胡子的时候,忽然有点犯难了:我该不该给自己刮胡子呢?如果我给自己刮胡子,那就违背了自己只给“不为自己刮胡子的人”刮胡子这一条,但是如果不给自己刮胡子,又违反了应该给“不给自己刮胡子的人”刮胡子这一条。
这个看似有点无厘头的小故事所蕴含的“数学悖论”,揭示出了“集合论”所存在的严重问题。
“集合论”作为近代数学大厦的基础,经过长期的发展,已经渗透到了几乎所有的数学分支。
如果“集合论”有问题,就会动摇整个“数学大厦”。
“罗素悖论”的提出,对“近代数学”的整个基本结构的有效性提出了全面质疑。
而这个质疑是集中在“无穷”这个概念上的。
早在“康尔托”建立“集合论”之初,大数学家高斯和柯西都曾坚决反对将“无穷”这个概念引入数学。
幸而,“无穷”概念得到了数学家“波尔查诺”的支持。
“波尔查诺”是一位探索“无穷”概念的伟大先驱,是第一个为了明确“实在无穷集合”理论而做出不懈努力的数学家,曾为康尔托建立“集合论”奠定了“哲学”基础。
如今,问题恰恰出现在了“无穷集合”这个概念上。
数学家们几乎想把“无穷集合”这个概念丢弃,但是又发现几乎所有的数学分支都是建立在“无穷集合”基础上的。
一旦丢弃了“无穷集合”,那么“近代数学”几乎寸步难行,所有涉及到“无穷集合”的数学分支都将崩溃,“数论”中的许多问题只有再退回到用“解析方法”解决的时代,“数论”的发展会全面陷入停滞。
所有的数学家都积极行动了起来,纷纷提出了自己的解决方案。
1908年,“策梅罗”创立了第一个“公理化集合论体系”,后来在其它数学家的共同努力下进一步完善,称为ZF系统,弥补了“康托尔朴素集合论”的缺陷。
除了“ZF系统”外,还有好几种公理系统,如“诺伊曼”等人提出的“NBG系统”等。
这些“公理化系统”诞生之后,成功地排除了集合论中出现的悖论,完美地解决了第三次数学危机。
经过这次数学危机的磨炼,数学大厦的基础得到了前所未有的巩固,使现代数学迈着更加稳健的步伐,引领着人类科技一步一个脚印地走向更加辉煌的明天。
小伙伴们,你们对此有什么看法呢?欢迎留言讨论。