类型空间里的休整只持续了半天。
半天后，那种被“观测”的感觉又来了。
不是真理卫队的搜捕，也不是因果猎手的追踪，而是一种更……系统的、全方位的观测。
就像你不是被某个存在盯着，而是被整个“环境”审视着。
路径构造者首先察觉到了异样。
它那由路径编织成的身体突然绷紧，所有路径同时指向一个方向——类型空间的东北象限。
“模型论学派来了。”
它的声音很沉，“不是代表，不是使者，是……整个学派结构的部分投影。”
陈凡他们立刻戒备。经历过那么多战斗，他们对“数学存在来访”已经有了条件反射——多半没好事。
类型空间的东北象限开始“重绘”。
不是变形，不是重组，而是像画布上的画被擦掉一部分，然后重新画上不同的东西。
原本漂浮在那里的类型气泡消失了，取而代之的是一些……“结构框架”。
那些框架看起来很简单：几个点，几条线，几个箭头表示关系。
但诡异的是，这些框架在不断“填充”——同一个框架，一会儿填充成这个模样，一会儿填充成那个模样。
比如一个“三点两线”的框架：一会儿填充成三角形，一会儿填充成V形图，一会儿填充成带箭头的有向图……
“这就是模型论。”
建构主义代表咔哒咔哒地说，“它们研究‘结构’和‘解释’。一个数学结构可以有多种不同的解释，只要满足公理。那些框架是‘语言’，填充是‘模型’。”
模糊数学代表飘过来：“它们最着名的成果之一是‘紧致性定理’：如果一个命题集的所有有限子集都有模型，那么整个命题集也有模型。换句话说，局部一致能保证整体一致。”
直觉主义代表流动着：“我的直觉警告——它们来者不善。模型论学派一向中立，但如果真理革命派说服了它们……”
这时，一个框架突然“放大”，向他们移动过来。
框架在移动过程中不断变化填充方式，最后稳定成一个具体形态：一个由类型、路径和同伦构成的简化版本——看起来就像是类型空间的微缩模型。
“路径构造者。”
框架发出声音，那声音像是从多个“解释”中叠加出来的，“我们观测到异常。类型空间中出现了未被授权的‘自由意志现象’。按照模型论规程，需要进行‘可满足性测试’。”
路径构造者挡在陈凡面前：“他们是我的客人，受同伦类型论保护。”
框架：“保护不豁免测试。如果自由意志现象在数学上不可满足——即找不到一致的模型——则必须被消除。这是模型论维持数学宇宙一致性的职责。”
它转向陈凡：“陈凡，自由意志携带者。请配合测试。测试内容：在不同的模型中展示你的自由意志。如果能在所有一致模型中保持‘自由意志特性’，则证明该特性可模型化，有数学合法性。否则……”
“否则就要被消除。”
陈凡替它说完，“我听腻这套说辞了。”
框架不为所动：“请选择：自愿测试，或强制测试。”
陈凡看看同伴，看看路径构造者。他知道躲不过去。
“测试内容具体是什么？”他问。
框架展开，变成一张复杂的图：“我们将构建七个‘解释世界’，每个世界都有一套公理和解释。你需要进入每个世界，在其中的‘选择节点’做出选择。我们会记录你的选择模式，分析其是否能在不同解释下保持‘自由性’。”
苏夜离皱眉：“七个世界？我们要分开吗？”
“是的。”框架说，“自由意志是否独立于环境？这是测试的一部分。你们会进入不同的解释世界，面对不同的选择情境。”
冷轩握紧剑：“如果我们在测试中受损呢？”
“损伤是测试的可能结果。”
框架冷漠地说，“如果自由意志不能在某种解释下存活，说明它有致命缺陷。”
萧九的毛都竖起来了：“喵！本喵讨厌测试！”
陈凡深吸一口气：“我们接受测试。但有条件：在每个世界结束时，我们要能互通信息，知道彼此的进展。”
框架沉默了几秒，似乎在计算。“可以。但信息交流只能通过‘模型间映射’进行，会有信息损失。”
“成交。”陈凡说。
路径构造者想说什么，但陈凡摇摇头：“该面对的躲不掉。而且……也许这是个机会。如果自由意志能通过模型论测试，我们在数学宇宙的地位就更稳固了。”
直觉主义代表流动过来：“小心，模型论测试很……抽象。它们不直接攻击你，而是改变你的‘解释背景’。你可能还是你，但世界对你的理解变了。”
建构主义代表给了他们每人一个新的“构造锚点”：“这能帮你们在解释切换时保持自我连续性。”
模糊数学代表则给了“模糊解释器”：“当世界的解释变得太极端时，可以用这个模糊化，减轻认知冲突。”
小主，这个章节后面还有哦，请点击下一页继续阅读，后面更精彩！
喜欢维度修真从蝼蚁到创世请大家收藏：(m.20xs.org)维度修真从蝼蚁到创世20小说网更新速度全网最快。