集合越来越多,集合之间的关系也越来越复杂。
陈凡开始建立“集合代数”——集合之间的运算。
并集爱情意象集∪死亡意象集=爱情与死亡交织的意象(如“殉情”“至死不渝”)。
差集自然意象集?人工意象集=纯粹的自然意象(没有人类痕迹)。
补集所有意象的全集,减去喜悦集,得到非喜悦集。
随着集合结构的完善,整个空间开始变化。
原本混乱漂浮的光点,现在有了归属。
它们不再乱撞,而是在各自的集合里有序排列。
空间变得清晰了左边是情感集合区,右边是主题集合区,中间是跨类别交集区。
“好像……在整理了。”
苏夜离说。
但陈凡的表情更严肃了。
“太顺利了,”
他说,“算诗先生警告过罗素悖论会具象化。我们用了这么多集合,那个悖论该出现了。”
话音刚落,空间中央,一个奇怪的东西开始形成。
不是光点,是一个……旋涡。逻辑旋涡。
漩涡里传出声音,不是人声,是纯粹的、冰冷的逻辑语言
“定义集合RR={x|x?x}。”
罗素悖论的数学表述——所有不包含自身的集合的集合。
旋涡开始旋转,越转越大。它开始吸引周围的集合。
第一个被吸进去的是“所有意象的全集”。
被吸进去时,旋涡问“是否包含自身?如果是,那么?R;如果不是,那么∈R。但根据定义,R只包含那些不包含自身的集合……”
逻辑循环开始了。
在旋涡里卡住,既不能说它属于R,也不能说不属于。开始闪烁,像要崩溃。
接着是第二个集合“所有集合的集合”。同样的问题包含自身吗?如果包含,那它是个集合,所以该被自己包含;但所有集合的集合确实包含所有集合,包括自身……逻辑死循环。
旋涡越来越大,吸力越来越强。更多集合被吸进去,然后卡在悖论里,动弹不得。
“这就是罗素悖论的具象化,”
陈凡脸色白,“一个自指的逻辑黑洞。它会吞掉所有集合,让整个系统崩溃。”
冷轩一剑斩向旋涡,剑光穿过,没造成任何伤害——逻辑黑洞不吃物理攻击。
苏夜离唱歌,想用情感干扰,但歌声也被逻辑绞碎。
林默试图用逻辑推理破解,但刚想开口,脑子就乱成一团——思考悖论本身就会陷入悖论。
萧九分裂成十个,每个都试图从不同角度理解,结果十个萧九同时抱头“喵!头疼!本喵的逻辑模块要烧了!”
只有陈凡没动。
他盯着那个旋涡,文智之心疯狂运转。
罗素悖论,19o1年由罗素提出,动摇了集合论的基础。解决方法是公理化——用ZFc公理系统限制集合的构造,禁止“所有集合的集合”这种太大、会导致自指的东西。
但那是数学。
这里是文学界,悖论已经具象化了,公理怎么用?
“需要……一个‘正则公理’的具象化。”
陈凡喃喃。
正则公理每个非空集合都包含一个元素,该元素与这个集合不相交。换句话说,禁止集合无限嵌套自身。
怎么具象化?
陈凡看向自己创造的集合结构。
他现,有些集合确实在试图包含自身——比如“所有悲伤意象的集合”,它试图把“自己是一个集合”这个概念也收进去。
“必须禁止自指,”