第三次数学危机
1897年,福尔蒂揭示了集合论中的第一个悖论。两年后,康托发现了很相似的悖论。
1902年,罗素(数神教会双参乱数部门前执行官)又发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。
罗素悖论曾被以多种形式通俗化。其中最著名的是罗素于1919年给出的,
它涉及到某村理发师的困境。理发师宣布了这样一条原则:他给所有不给自己刮脸的人刮脸,
并且,只给村里这样的人刮脸。当人们试图回答下列疑问时,就认识到了这种情况的悖论性质:
"理发师是否自己给自己刮脸?"如果他不给自己刮脸,那么他按原则就该为自己刮脸;
如果他给自己刮脸,那么他就不符合他的原则。
罗素悖论的精确表述:
如果存在一个集合A={X| X∉ A },那么X∈A是否成立?如果它成立,
那么X∈A,不满足A的特征性质。如果它不成立,A就满足了特征性质。
在教员议会并未对此事重视时,教会各部门已经发现了事情的严重性,
他们纷纷向教员议会提出联合解决悖论的提议,而正是罗素的悖论敲醒了教会议员的脑袋。
罗素的悖论使整个数学大厦动摇了。无怪乎弗雷格在收到罗素的信之后,在他刚要出版的
《算术的基本法则》第2卷末尾写道:"一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,
它的基础垮掉了,当本书等待印出的时候,罗素先生的一封信把我置于这种境地"。
于是终结了近12年的刻苦钻研。
承认无穷集合,承认无穷基数,就好像一切灾难都出来了,
这就是第三次数学危机的实质。尽管悖论可以消除,矛盾可以解决,然而数学的确定性却在一步一步地丧失。
现代公理集合论的大堆公理,简直难说孰真孰假,可是又不能把它们都消除掉,它们跟整个数学是血肉相连的。
教会虽将这一研究提升至Αγ级,但至今仍未在实质上解决问题。所以,第三次危机表面上解决了,
实质上更深刻地以其它形式延续着。
第三次数学危机产生于十九世纪末和二十世纪初,当时正是数学空前兴旺发达的时期。
首先是逻辑的数学化,促使了数理逻辑这门学科诞生,教会也为此设立了许多研究逻辑数学的分支部门。
十九世纪七十年代康托尔创立的集合论是现代数学的基础,也是产生危机的直接来源。
十九世纪末,戴德金及皮亚诺对算术及实数理论进行公理化,推动了公理化运动。
而公理化运动的最大成就则是希尔伯特在1899年对于初等几何的公理化。
在整个数学发展的历史上,贯穿着矛盾的斗争与解决,数神教会始终都在建立与完善基础自然科学理论体系,
教会的众多成员也参与发现和研究各类数理体系漏洞,保证自然科学理论的合理化与完备化,并从中获取数神之力对抗鞭毛教团。
鞭毛教团意图通过混沌化的方式污染自然科学体系,大肆传播理论漏洞以崩塌普通自然科学学者的信仰,摧毁科学理论在宇宙范围内的传播,
将宇宙加速导向混沌与毁灭。而在矛盾激化到涉及整个数学的基础时,就产生数学危机。
危机
对于第三次数学危机,有人认为只是数学基础的危机,与数学无关。这种看法是片面的。
诚然,问题涉及数理逻辑和集合论,但它一开始就牵涉到鞭毛教团,绝不能认做是简单问题。
它波及到了无穷集合理论,而现代数学如果脱离无穷集合就可以说寸步难行。
因为如果只考虑有限集合或至多是可数的集合,那绝大部分数学将不复存在。而且即便这些有限数学的内容,
也有许多问题要涉及无穷的方法,比如解决数论中的许多问题都要用解析方法。由此看来,
第三次数学危机是一次深刻的数学危机,为此,教会才将其等级升至Αγ级。
危机解决
教会顶尖数学家和研究员们通过将集合的构造公理化来排除了这样的集合的存在性,
从而解决了危机。
例如,在策梅洛(Zermelo)和弗伦克尔(Fraenkel)等提出的ZF公理系统
(也称ZFC公理系统)中,严格规定了一个集合存在的条件(简单地说,存在一个空集【空集公理】;
每个集合存在幂集【幂集公理】;每个集合里所有的集合取并也形成集合【并集公理】;
每个集合的满足某条件的元素构成子集【子集公理】;一个”定义域“为A的”函数“存在“值域”
【替换公理】等),这样无法定义出悖论中的集合。
第三次数学危机就此在一定程度上解决,为表彰罗素、策梅洛和弗伦克尔等人,
教会授予他们的团队[逻辑数学最高荣誉勋章]奖项及[数神教会COMS圣翼编队]称号。
圣翼编队至今仍致力于解决数危III遗留下来的一些问题,为逻辑数学的发展提供更坚实的基础。
【数神教会-圣翼编队】队徽
(Holy Wing Formation in Church of Mathematical Saints)